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

Back to bug 420

Who When What Removed Added
behrmann 2007-05-24 14:40:46 CEST Status NEW ASSIGNED
marius 2019-10-21 10:15:11 CEST Assignee behrmann marius
CC marius

Back to bug 420