Search results for: Holger Hermanns
Lecture Notes in Computer Science > Formal Methods for Real-Time and Probabilistic Systems > Stochastic Process Algebra > 244-264
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 128-142
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Abstraction > 37-52
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B3: Model Checking > 271-282
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 196-211
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency I > 35-53
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 238-253
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 302-316
Lecture Notes in Computer Science > Performance Evaluation of Complex Systems: Techniques and Tools > 261-289
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 207-222
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Hybrid Systems > 177-195
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 87-104