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}
}