"Verifying Reference Nets By Means of Hypernets: a Plugin for Renew."

Marco Mascheroni, Thomas Wagner, Lars Wüstenberg (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics