Diagnosing Multiple Faults in Communicating Finite State Machines.

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann

Browse the full FORTE paper archive.