For the most recent entries see the
Petri Nets Newsletter.
Formal methods integration for the specification of dependable distributed systems.
Journal of Computer Architectures Vol. 43, No. 10, pages 671-685.
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