Pavel Jezek

	2007
2		Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma: CoCoME in Fractal. CoCoME 2007: 357-387
	2006
1		Pavel Jezek, Jan Kofron, Frantisek Plasil: Model Checking of Component Behavior Specification: A Real Life Experience. Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006)

Coauthor Index

1	Lubomír Bulej	[2]
2	Tomás Bures	[2]
3	Thierry Coupaye	[2]
4	Martin Decký	[2]
5	Jan Kofron	[1]
6	Pavel Parizek	[2]
7	Frantisek Plasil	[1] [2]
8	Tomás Poch	[2]
9	Nicolas Rivierre	[2]
10	Ondrej Sery	[2]
11	Petr Tuma	[2]