For the most recent entries see the Petri Nets Newsletter.

Outils d'Aide a la Decision dans le Test des Systemes Logiques.

Mili, A.

Universite de Grenoble, These de 3eme Cycle, June 1978.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography