A Toolbox for the Analysis of Discrete Event Dynamic Systems.

Peter Buchholz, Peter Kemper

Browse the full CAV paper archive.