Nr. 153 (1982): PB-153 Specification and Verification of Networks in a Petri Net based Language

Publiceret: 1982-10-01

Articles