Search results for: P. Vink
Applied Ergonomics > 2017 > 65 > C > 130-138
European Journal of Pain > 21 > 9 > 1463 - 1474
Applied Ergonomics > 2017 > 58 > C > 334-341
Lecture Notes in Computer Science > STACS 94 > 569-580
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Invited Lectures > 449-479
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Stochastic Process Algebra > 47-62
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 143-159
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Markov Chains > 18-32
NATO Science Series II: Mathematics, Physics and Chemistry > UV Solid-State Light Emitters and Detectors > 111-126
Lecture Notes in Computer Science > TAPSOFT '87 > 241-255
Lecture Notes in Computer Science > Information Security > Security Protocols and Formal Methods > 476-488
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 3. Architecting Security > 255-283
Lecture Notes in Computer Science > Transactions on Computational Systems Biology XI > Computational Models for Cell Processes > 69-89