For the most recent entries see the Petri Nets Newsletter.

Tools and Studies of Formal Techniques --- Petri Nets and Temporal Logic.

Antilla, M.; Eriksson, H.; Ikonen, J.; Kujansuu, R.; Ojala, L.; Tuominen, H.

In: Rudin, H.; West, C.H.: Protocol Specification, Testing and Verification, III. Proceedings of the IFIP WG 6.1 3rd International Workshop, 1983, Rueschlikon, Switzerland, pages 139-148. Elsevier Science Publishers B. V. (North-Holland), IFIP, 1983.

Keywords: tools (and studies of) formal techniques; temporal logic; network protocol; performance.

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

Back to the Petri Nets Bibliography