Pavel Erlebach

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification for Trees. EUROCAST (2007)
Milan Ceska, Pavel Erlebach, Tomás Vojnar
Generalised multi-pattern-based verification of programs with linear linked structures. Formal Aspects Comput. 19 (3) (2007)
Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electron. Notes Theor. Comput. Sci. 145 (2006)