For the most recent entries see the Petri Nets Newsletter.

On the Specification and Validation of Protocols by Temporal Logic and Nets.

Diaz, M.; Guidacci Da Silverira, G.

In: Information Processing 83, Proceedings of the IFIP Congress 1983, Paris, pages 47-52. 1983.

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

Back to the Petri Nets Bibliography