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