"Optimal Algorithms for the Coverability, the Subword, the Containment, and ..."

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