Search results for: Anton Wijs
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 493-497
Formal Aspects of Computing > 2018 > 30 > 1 > 3-43
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Semantics > 258-272
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 321-335
Lecture Notes in Computer Science > Model Checking Software > Abstractions and State-Space Reductions > 2-19
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking II > 215-229
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Timed Process Algebra > 110-124
Formal Methods in System Design > 2016 > 48 > 3 > 274-300
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 169-185
Science of Computer Programming > 2012 > 77 > 10-11 > 1075-1094