Search results for: Joost-Pieter Katoen
Acta Informatica > 2019 > 56 > 3 > 255-285
Information and Computation > 2017 > 253 > P1 > 1-35
Formal Aspects of Computing > 2017 > 29 > 4 > 651-703
Theoretical Computer Science > 2016 > 655 > PB > 193-219
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Probabilistic Systems > 338-354
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 323-335
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 420-439
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 250-262
Lecture Notes in Computer Science
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 > Formal Modeling and Analysis of Timed Systems > Session 4. Model-Checking of Probabilistic Systems > 203-217
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Message Sequence Charts > 435-450