Verification of I/O Trace Set Inclusion for a Class of Non-Deterministic Finite State Machines

• Authors:

• Eduard Cerny

• Affiliations:

• -

• Venue:
• ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
• Year:
• 1992