On-Line Monitor Design of Finite-State Machines.

Feng Gao, John P. Hayes

Browse the full IOLTS paper archive.