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

Eduard Cerny

Browse the full ICCD paper archive.