Vol-1255⫷ Vol-1256 ⫸Vol-1257
urn:nbn:de:0074-1256-0


Vol-1256/paper3⫷Vol-1256/paper4⫸Vol-1256/paper5
Mohamed GhazelFlorent Peres

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems