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