For the most recent entries see the Petri Nets Newsletter.

Toward Formal Analysis of Ultra-reliable Computers - a Total System Approach.

Chisholm, G.H.; Kljaich, J.; Smith, B.T.; Wojcik, A.S.

In: AIAA 7th Digital Avionics System Conf., Fort Worth: Proc. of the IEEE, pages 678-686. New York: IEEE, 1986.

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

Back to the Petri Nets Bibliography