Search results for: Tomáš Vojnar
Acta Informatica > 2019 > 56 > 3 > 205-228
Formal Methods in System Design > 2017 > 51 > 3 > 575-607
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2003 > Distributed Computing > 265-278
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 212-222
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 145-161
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 474-489
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 371-375
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata Theory > 158-174
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – I > 93-108
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Applied Formal Verification > 295-303
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Verification > 350-364
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 9. Quantified Constraints > 558-573
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 57-67