|
Search the dblp DataBase
Pavel Erlebach:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:113-130 [Journal]
- Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification for Trees. [Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:488-496 [Conf]
- Milan Ceska, Pavel Erlebach, Tomás Vojnar
Generalised multi-pattern-based verification of programs with linear linked structures. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2007, v:19, n:3, pp:363-374 [Journal]
Search in 0.002secs, Finished in 0.002secs
|