Krämer, B. "SEGRAS: A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types in the Specification of Distributed Systems" in: Proc. of the 9th Int. Conf. on Software Engineering, pages 116-125. Washington: IEEE Computer Society Press, 1987.
(1987) |
|