Search results for: Lukáš Holík
Acta Informatica > 2019 > 56 > 3 > 205-228
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 212-222
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 > Implementation and Applications of Automata > Technical Contributions > 57-67
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 243-258
Lecture Notes in Computer Science > Computer Aided Verification > Session 2. Model Checking and Automata > 132-147
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 549-563
Acta Informatica > 2016 > 53 > 4 > 357-385
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 5 > 495-516
Theoretical Computer Science > 2014 > 552 > Complete > 26-43
Formal Methods in System Design > 2012 > 41 > 1 > 83-106
Electronic Notes in Theoretical Computer Science > 2009 > 251 > Complete > 27-48