Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)

• Authors:

• Joseph Kljaich, Jr.

• Affiliations:

• -

• Venue:
• Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)
• Year:
• 1985