"The Complexity of the Coverability, the Containment, and the Equivalence ..."

Ulla Koppenhagen, Ernst W. Mayr (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics