Search results for: David Parker
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Security > 318-332
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 182-197
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Talk > 2-17
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Demonstrations > 441-444
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 23-38
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 309-320
Lecture Notes in Computer Science > Validation of Stochastic Systems > Representing Large State Spaces > 296-338
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Systems and Optimization > 23-37
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Model-Checking > 395-410
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 511-521
EJNMMI Radiopharmacy and Chemistry > 2017 > 1 > 1 > 1-12
Annals of Public and Cooperative Economics > 87 > 1 > 5 - 22
Chemistry – A European Journal > 22 > 2 > 570 - 580