No. 198 (1985): PB-198 Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

Published: 1986-01-01