Tomas Hlavaty

	2004
2		Tomas Hlavaty, Václav Skala: Combinatories and Triangulations. ICCSA (3) 2004: 81-89
	2001
1		Tomas Hlavaty, Libor Preucil, Petr Stepan: Case Study: Formal Specification and Verification of Railway Interlocking System. EUROMICRO 2001: 258-263

Coauthor Index

1	Libor Preucil	[1]
2	Václav Skala	[2]
3	Petr Stepan	[1]

Colors in the list of coauthors