For the most recent entries see the Petri Nets Newsletter.

Formal methods integration for the specification of dependable distributed systems.

Mazzocca, N.; Russo, S.; Vittorini, V.

In: Journal of Computer Architectures Vol. 43, No. 10, pages 671-685. September 1997.

Keywords: formal methods integration; dependability; trace logic; Petri Nets.

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

Back to the Petri Nets Bibliography