For the most recent entries see the
Petri Nets Newsletter.
Formal Verification of Parallel Programs.
Keller, R.M.
In:
Comm. ACM 19, No. 7, pages 371-384.
1976.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography