No. 116 (1980): PB-116 Petri Nets and Semantics of System Descriptions

Published: 1980-04-01