For the most recent entries see the
Petri Nets Newsletter.
Formal Verification of Properties of Digital Systems Using an Automated Reasoning System.
Kljaich, J.;
Wojcik, A.S.;
Smith, B.T.
Design Automation Conf., Las Vegas,
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography