For the most recent entries see the Petri Nets Newsletter.

Improving the accuracy of Petri net-based analysis of concurrent programs.

Chamillard, A.T.; Clarke, L.A.

In: Steven J. Zeil: Proceedings of the 1996 International Symposium on Software Testing and Analysis, pages 24-38. ACM Press, January 1996.


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

Back to the Petri Nets Bibliography