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