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 - Unfolding Based Algorithms for the Reachability Problem

Reference:

J. Esparza and C. Schröter. Unfolding based algorithms for the reachability problem. Fundamenta Informaticae, 47(3–4):231–245, 2001.

Suggested BibTeX entry:

@article{ES02,
    author = {J. Esparza and C. Schr{\"o}ter},
    journal = {Fundamenta Informaticae},
    number = {3--4},
    pages = {231--245},
    title = {Unfolding Based Algorithms for the Reachability Problem},
    volume = {47},
    year = {2001}
}

GZipped PostScript (150 kB)
PDF (177 kB)