For the most recent entries see the
Petri Nets Newsletter.
On Gateway Architecture, Formal Modelling and Verification.
Jouanole, G.;
Onodi, A.
In:
Sarikaya, B.; Bochmannn, G. V.: Protocol Specification, Testing, and Verification, VI. Proc. of the IFIP WG 6.1 Sixth Int. Workshop, pages 323-334.
Amsterdam: North-Holland,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography