Modeling discrete-event systems with constraints.

Lothar Seybold, Piotr Witczak, Pawel Majdzik

Browse the full MMAR paper archive.