For the most recent entries see the
Petri Nets Newsletter.
Experience Gained in Applying Formal Description Techniques to the Design of Complex Real-Time Computing Systems.
Gerrand, P.H.
In:
First Australian Software Eng. Conf., Canberra, Preprints, pages 27-33.
Barton, ACT, Australia: Instn. Eng. Australia,
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography