Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Reachability Analysis Using Net Unfoldings

Reference:

J. Esparza and C. Schröter. Reachability Analysis Using Net Unfoldings. In H. D. Burkhard, L. Czaja, A. Skowron, and P. Starke, editors, Workshop of Concurrency, Specification & Programming, volume II of Informatik-Bericht 140, pages 255–270. Humboldt-Universität zu Berlin, 2000.

Suggested BibTeX entry:

@inproceedings{ES00,
    author = {J. Esparza and C. Schr{\"o}ter},
    booktitle = {Workshop of Concurrency, Specification \& Programming},
    editor = {H. D. Burkhard and L. Czaja and A. Skowron and P. Starke},
    pages = {255--270},
    publisher = {Humboldt-Universit{\"a}t zu Berlin},
    series = {Informatik-Bericht 140},
    title = {{Reachability Analysis Using Net Unfoldings}},
    volume = {II},
    year = {2000}
}

GZipped PostScript (114 kB)
PDF (302 kB)
Journal version