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

Published: 1982-10-01

Articles