Pavel Erlebach

	2007
3		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496
2		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Generalised multi-pattern-based verification of programs with linear linked structures. Formal Asp. Comput. 19(3): 363-374 (2007)
	2006
1		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electr. Notes Theor. Comput. Sci. 145: 113-130 (2006)

Coauthor Index

1	Milan Ceska	[1] [2] [3]
2	Tomás Vojnar	[1] [2] [3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page