For the most recent entries see the
Petri Nets Newsletter.
Computer Aided Design and Proof of Parallel Systems: Application to Synchronization Software.
Chazaviel, B.;
Berthomieu, B.;
Bachmann, S.;
Diaz, M.
Toulouse: Laboratoire d'Automatique et d'Analyse des Systemes, Internal Report,
December 1978.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography