Search results for: Benedikt Bollig
Formal Methods in System Design > 2018 > 53 > 3 > 339-362
Lecture Notes in Computer Science > Validation of Stochastic Systems > Model Checking of Stochastic Systems > 124-146
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Demonstrations > 455-458
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 493-506
Theory of Computing Systems > 2017 > 60 > 4 > 695-736
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Logics and Model-Checking > 543-558
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Message Sequence Charts > 435-450
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 290-302
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 128-147
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 68-85
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 10-Track B. Automata > 587-598
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 303-315