This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Back to bug 410

Who When What Removed Added
behrmann 2007-04-02 15:19:50 CEST CC marius
Status NEW ASSIGNED
marius 2019-10-21 10:16:29 CEST Assignee behrmann marius

Back to bug 410