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