"A Toolbox for the Analysis of Discrete Event Dynamic Systems."

Peter Buchholz, Peter Kemper (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics