io-port 06110712 Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří

Inf. Comput. 218, 54-68 (2012).

io-port 06078314 Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiř\'i

Math. Struct. Comput. Sci. 22, No. 4, 581-617 (2012).

io-port 06065762 Juhl, Line; Larsen, Kim G.; Srba, Jiří

J. Log. Algebr. Program. 81, No. 4, 408-421 (2012).

io-port 06051108 David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 492-497 (2012).

io-port 06046607 Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 122-137 (2012).

io-port 05995599 Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří

Cerone, Antonio (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 95-115 (2011).

io-port 05954794 Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří

Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 275-289 (2011).

io-port 05930551 Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Gulstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jiří

Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 487-493 (2011).

io-port 05897421 Ravn, Anders P.; Srba, Jiří; Vighio, Saleem

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 357-371 (2011).

io-port 05851872 Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří

Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011).

io-port 70168066 Ravn, Anders P.; Srba, Jirí; Vighio, Saleem

TACAS, 357-371 (2011).

io-port 70251585 Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jirí

ICTAC, 95-115 (2011).

io-port 70354947 Benes, Nikola; Kretínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jirí

ATVA, 275-289 (2011).

io-port 70771068 Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jirí

NASA Formal Methods, 487-493 (2011).

io-port 70879831 Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jirí

SOFSEM, 46-72 (2011).

io-port 05854332 Ravn, Anders P.; Srba, Jiří; Vighio, Saleem

Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 579-593 (2010).

io-port 05805009 Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří

Aldini, Alessandro (ed.) et al., Computer performance engineering. 7th European performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15783-7/pbk). Lecture Notes in Computer Science 6342, 83-98 (2010).

io-port 70106601 Srba, Jirí

CompSysTech, 430-435 (2010).

io-port 70790002 Ravn, Anders P.; Srba, Jirí; Vighio, Saleem

ISoLA (1), 579-593 (2010).

io-port 71011924 Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jirí

EPEW, 83-98 (2010).