Jiri Srba
发表
K. Larsen,
Nikola Benes,
Peter Bezdek,
2015,
ICALP.
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
Jirí Srba,
Vladimiro Sassone,
Mogens Nielsen,
2001,
ICATPN.
F. Vernadat,
T. Chatain,
L. Petrucci,
2013
.
J. Srba,
P. Cuijpers,
Nicolas Schnepf,
2022,
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Stefan Schmid,
Jirí Srba,
Nicolas Schnepf,
2021,
TACAS.
Mathias Claus Jensen,
K. Larsen,
J. Srba,
2020,
LOPSTR.
Kim G. Larsen,
Jirí Srba,
Jonas Finnemann Jensen,
2016,
International Journal on Software Tools for Technology Transfer.
Jirí Srba,
Thomas Stig Jacobsen,
Jacob Jon Jensen,
2014,
FORMATS.
Jirí Srba,
Petr Jancar,
J. Srba,
2008,
JACM.
F. Moller,
S. Smolka,
J. Srba,
2003,
Inf. Comput..
Jirí Srba,
J. Srba,
Jiri Srba,
2001,
Theor. Comput. Sci..
Luca Aceto,
Anna Ingólfsdóttir,
Kim Guldstrand Larsen,
2007
.
J. Srba,
Jiri Srba,
1998
.
J. Srba,
Jiri Srba,
1998
.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
Inf. Comput..
Luca Aceto,
Anna Ingólfsdóttir,
Jiri Srba,
2012,
Advanced Topics in Bisimulation and Coinduction.
Kim G. Larsen,
Jirí Srba,
Kenneth Yrke Jørgensen,
2011,
NASA Formal Methods.
Fabrice Kordon,
Gianfranco Ciardo,
Jirí Srba,
2019,
TACAS.
Jirí Srba,
Frederik M. Bønneland,
Peter Gjøl Jensen,
2019,
J. Log. Algebraic Methods Program..
Fabrice Kordon,
Marco Beccuti,
Jirí Srba,
2018,
Trans. Petri Nets Other Model. Concurr..
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2018,
Fundam. Informaticae.
Jirí Srba,
Peter Gjøl Jensen,
Jakob Dyhr,
2018,
Petri Nets.
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2017,
ICTAC.
Jirí Srba,
Alexandre David,
Kenneth Yrke Jørgensen,
2012,
TACAS.
Jirí Srba,
Thomas Nielsen,
Jonas Finnemann Jensen,
2016,
Trans. Petri Nets Other Model. Concurr..
Kim G. Larsen,
Jirí Srba,
Line Juhl,
2012,
J. Log. Algebraic Methods Program..
S. Smolka,
Jiri Srba,
2005
.