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

Publiceret: 1980-04-01