Search results for: Jan Křetínský
Soft Computing > 2018 > 22 > 4 > 1139-1158
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 230-253
Formal Methods in System Design > 2016 > 49 > 3 > 219-271
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 112-126
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 228-242
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 275-289
Lecture Notes in Computer Science > CONCUR 2011 – Concurrency Theory > Probabilistic Systems > 140-155
Acta Informatica > 2015 > 52 > 2-3 > 269-297
Information and Computation > 2013 > 224 > Complete > 46-70
Information and Computation > 2012 > 218 > Complete > 54-68