Net Verifier of Discrete Event System models expressed by UML Activity Diagrams.

Tomasz Kowalski

Browse the full SMC paper archive.