Complexity Results for 1-safe Nets (1995)

by A Cheng, J Esparza, J Palsberg
Venue:Theoretical Computer Science