Search results for: Vojtěch Forejt
Journal of Computer and System Sciences > 2017 > 84 > C > 144-170
Theoretical Computer Science > 2016 > 631 > C > 139-160
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Formal Foundations for Connectors > 53-113
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 112-127
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Contributed Papers > 103-114
Information and Computation > 2014 > 237 > Complete > 1-11
Journal of Computer and System Sciences > 2014 > 80 > 1 > 139-156
Information and Computation > 2013 > 224 > Complete > 46-70
Formal Methods in System Design > 2013 > 43 > 1 > 61-92
Electronic Notes in Theoretical Computer Science > 2009 > 239 > Complete > 73-83
Information and Computation > 2008 > 206 > 5 > 520-537