For the most recent entries see the Petri Nets Newsletter.

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.

Palanque, Ph.; Bastide, R.; Paterno, F.

In: IFIP TC13 Interact'97 Conference, Sydney, Australia, July 14-18, 1997, pages 155-162. Chapman & Hall, 1997.

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

Back to the Petri Nets Bibliography