For the most recent entries see the
Petri Nets Newsletter.
Wojcik, A.S.
-
Chisholm, G.H.;
Wojcik, A.S.:
An application of formal analysis to software in a fault-tolerant environment.
1999.
-
Kljaich, J.;
Smith, B.T.;
Wojcik, A.S.:
Formal Verification of Fault-tolerance Using Theorem-Proving Techniques.
1989.
-
Chisholm, G.H.;
Kljaich, J.;
Smith, B.T.;
Wojcik, A.S.:
Formal Modeling and Analysis of Fault-tolerance Properties for Software.
1987.
-
Chisholm, G.H.;
Kljaich, J.;
Smith, B.T.;
Wojcik, A.S.:
Toward Formal Analysis of Ultra-reliable Computers - a Total System Approach.
1986.
-
Kljaich, J.;
Wojcik, A.S.;
Smith, B.T.:
Formal Verification of Properties of Digital Systems Using an Automated Reasoning System.
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography