Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
César Rodríguez and Stefan Schwoon
Book Title
Proc. Automated Technology for Verification and Analysis (ATVA)
Editor
Dang Van Hung and Mizuhito Ogawa
Pages
492–495
Publisher
Springer
Series
LNCS
Volume
8172
Year
2013