Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.

Bengi Karaali, Kuo-Chung Tai, Mladen A. Vouk

Browse the full DSN paper archive.