Verification of diagnosability based on compositional branching bisimulation.

Mona Noori Hosseini, Bengt Lennartson

Browse the full ETFA paper archive.