For the most recent entries see the Petri Nets Newsletter.

An Approach to Automated Static Analysis of Distributed Software.

Shatz, S.M.; Cheng, W.K.

In: Proc. of the 1st Int. Conf. on Supercomputing Systems, St. Petersburg, Florida, pages 377-385. IEEE Computer Society Press, 1986.


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

Back to the Petri Nets Bibliography