For the most recent entries see the
Petri Nets Newsletter
.
Keyword: trace logic
Mazzocca, N.
;
Russo, S.
;
Vittorini, V.
:
Formal methods integration for the specification of dependable distributed systems.
1997.
Mazzocca, N.
;
Russo, S.
;
Vittorini, V.
:
Integrating trace logic and Petri net specifications.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography