For the most recent entries see the Petri Nets Newsletter.

Una metodologia di stesura e verifica di specifiche funzionali di procedure e programmi software.

Castelli, G.; Haus, G.; Maiocchi, M.

In: 11: Honeywell Information Systems Italia, Note di Software, No. 10, pages 2-15. April-September 1979.


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

Back to the Petri Nets Bibliography