| |
| 2007 | ||
|---|---|---|
| 3 | EE | Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496 |
| 2 | EE | 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 | EE | 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) |
| 1 | Milan Ceska | [1] [2] [3] |
| 2 | Tomás Vojnar | [1] [2] [3] |