Search results for: Antti Valmari
Fundamenta Informaticae > 2021 > Vol. 178, nr 1/2 > 139--172
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 589-610
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools > 153-157
Lecture Notes in Computer Science > CONCUR '91 > 361-375
Lecture Notes in Computer Science
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Verification, Model Checking > 161-176
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Minimization and Equivalence Checking > 188-202
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > State Space Reduction > 39-53
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 282-302
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 58-98
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Efficient Model-Checking > 283-298