For the most recent entries see the Petri Nets Newsletter.

Modelling and Verifying Asynchronous Cooperation between Microprogrammed Units.

Gondzio, M.; Rudkowski, S.

In: FTCS 13th Annual Int. Symposium, Fault-Tolerant Computing, Digest of Papers, Milan, Italy, pages 74-77. New York: IEEE, 1983.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography