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