The Complexity of Codiagnosability for Discrete Event and Timed Systems.

Franck Cassez

Browse the full ATVA paper archive.