Vol-847⫷ Vol-848 ⫸Vol-849
urn:nbn:de:0074-848-0


None⫷None⫸None
Stefan Hudák

Verification of Systems: Deadlock Analysis Based on Petri Nets