Search results for: Peter Niebert
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 36-51
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Partial-Order and Simulation Techniques > 386-400
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 198-212
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 7 > 271-282
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 108-122
Lecture Notes in Computer Science > Computer Aided Verification > Session 14: Model Checking > 504-516
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking Algorithms > 272-286
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Bounded Model Checking > 225-243
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 290-305
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 227-242
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Unfoldings and Prefixes > 396-410
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Selected Presentations > 338-351
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 291-306
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 508-522
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 263-276
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real Time and Information Flow > 405-419