Palsberg J.: Complexity results for 1-safe nets (1993)

by A Cheng, J Esparza
Venue:In LNCS 761