Search results for: Pavol Černý
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 664-678
Formal Methods in System Design > 2017 > 50 > 2-3 > 97-139
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 465-479
Lecture Notes in Computer Science > Automata, Languages and Programming > Secrecy and Protocol Analysis > 107-118
Studie o rukopisech (Manuscript Studies) > 2014 > 44 > 37-56
Historica: revue pro historii a příbuzné vědy (Historica: Review in history... > 2013 > 4 > 1 > 1-22
Theoretical Computer Science > 2012 > 413 > 1 > 21-35