by Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David, Simaitis, Aistis
Published in Formal methods in system design (01.08.2013)

by ejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James
Published in arXiv.org (14.11.2018)

by Brenguier, Romain, ejt, Vojtěch
Published in arXiv.org (12.05.2016)

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelik, Martin, ejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Meggendorfer, Tobias, Parker, David, Ujma, Mateusz
Published in arXiv.org (20.03.2024)

by ejt, Vojtěch, Krčál, Jan
Published in arXiv.org (26.06.2015)

by Brázdil, Tomáš, Brožek, Václav, Forejt, Vojtěch, Kučera, Antonín
Published in Journal of computer and system sciences (01.02.2014)

by ejt, Vojtěch, Krčál, Jan, Křetínský, Jan
Published in arXiv.org (14.09.2015)

by Brázdil, Tomáš, ejt, Vojtěch, Kučera, Antonín, Novotný, Petr
Published in arXiv.org (21.04.2016)

by ejt, Vojtěch, Kwiatkowska, Marta, Gethin, Norman, Trivedi, Ashutosh
Published in arXiv.org (15.04.2016)

by Brázdil, Tomáš, Brožek, Václav, Chatterjee, Krishnendu, ejt, Vojtěch, Kučera, Antonín
Published in arXiv.org (12.02.2014)

by Brázdil, Tomáš, Chatterjee, Krishnendu, ejt, Vojtěch, Kučera, Antonín
Published in arXiv.org (13.01.2015)

by Brázdil, Tomáš, Chen, Taolue, ejt, Vojtěch, Novotný, Petr, Simaitis, Aistis
Published in arXiv.org (11.10.2013)

by Brázdil, Tomáš, Chatterjee, Krishnendu, ejt, Vojtěch, Kučera, Antonín
Published in arXiv.org (23.04.2013)

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin, ejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Parker, David, Ujma, Mateusz
Published in arXiv.org (30.03.2015)

by Drager, Klaus, ejt, Vojtech, Kwiatkowska, Marta, Parker, David, Ujma, Mateusz
Published in arXiv.org (29.06.2015)

by ejt, Vojtech, Kwiatkowska, Marta, Parker, David
Published in arXiv.org (24.06.2012)

by Alur, Rajeev, ejt, Vojtech, Moarref, Salar, Trivedi, Ashutosh
Published in arXiv.org (04.02.2013)

by ejt, Vojtech, Jancar, Petr, Kiefer, Stefan, Worrell, James
Published in arXiv.org (08.10.2012)