Jan Kretínský Vis

*	2009
3	EE	Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
2	EE	Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
	2008
1	EE	Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402

Coauthor Index

1	Nikola Benes	[2] [3]
2	Tomás Brázdil	[1]
3	Vojtech Forejt	[1]
4	Antonín Kucera	[1]
5	Kim Guldstrand Larsen	[2] [3]
6	Jirí Srba	[2] [3]

Colors in the list of coauthors