DMCA

Deadlock Checking Using Net Unfoldings (1997)

Cached

Download Links

by Stephan Melzer , Stefan Römer
Venue:In Proceeding of 9th International Conference on Computer Aided Verification (CAV’97
Citations:50 - 1 self