I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Computing the Reveals Relation in Occurrence Nets


Stefan Haar, Christian Kern, and Stefan Schwoon. Computing the reveals relation in occurrence nets. In GandALF, pages 31–44, 2011.

Suggested BibTeX entry:

    author = {Stefan Haar and Christian Kern and Stefan Schwoon},
    booktitle = {GandALF},
    pages = {31-44},
    title = {Computing the Reveals Relation in Occurrence Nets},
    year = {2011}

This work is not available online here.