Verification of Systems: Deadlock Analysis Based on Petri Nets.

Stefan Hudk

Browse the full ICTERI paper archive.