Search results for: David N. Jansen
Acta Informatica > 2018 > 55 > 6 > 461-488
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 128-137
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 155-169
Information and Computation > 2016 > 249 > C > 138-159
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 355-374
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B3: Model Checking > 271-282
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking and Markov Chains > 87-101
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Model Checking > 69-85
Lecture Notes in Computer Science > «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications > Time and Quality of Service > 76-91
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 98-112
Theoretical Computer Science > 2016 > 611 > Complete > 116-135
Performance Evaluation > 2011 > 68 > 2 > 90-104
Journal of Applied Logic > 2010 > 8 > 1 > 141-150
International Journal on Software Tools for Technology Transfer > 2010 > 12 > 5 > 305-318
Requirements Engineering > 2002 > 7 > 4 > 243-263