For the most recent entries see the
Petri Nets Newsletter.
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie.
Baar, Thomas;
Kindler, Ekkart
In:
Informatik-Bericht, No. 99.
Institut für Informatik, Humboldt-Universität zu Berlin,
March 1998.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography