For the most recent entries see the
Petri Nets Newsletter.
Formal Specification for Designing User Interfaces of Air Traffic Control Applications.
Proceedings of the Second International Workshop on Formal Methods for Industrial Critical Systems, Cesena, Italy, July 4-5, 1997, pages 23-35.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography