Search results for: Holger Hermanns
International Journal of Satellite Communications and Networking > 39 > 2 > 193 - 204
Formal Aspects of Computing > 2019 > 31 > 2 > 261-285
Acta Informatica > 2018 > 55 > 6 > 461-488
Formal Aspects of Computing > 2017 > 29 > 4 > 629-649
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 155-169
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Probabilistic Systems > 338-354
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 420-439
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Science of Computer Programming > 2016 > 128 > C > 22-50
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 347-362
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 172-186
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 > Analytical and Stochastic Modeling Techniques and Applications > Distributions in Stochastic Modeling > 128-143
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 477-492