For the most recent entries see the Petri Nets Newsletter.

L'Approche Fonctionelle dans la Verification des Systemes Informatique: Proposition d'un Ensemble de Methodologies.

Moalla, M.

Grenoble: INPG ENSIMAG, These Doc-Ingenieur, December 1976.


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

Back to the Petri Nets Bibliography