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

Back to bug 373

Who When What Removed Added
behrmann 2006-11-21 09:45:27 CET Status UNCONFIRMED ASSIGNED
Ever confirmed 0 1
Priority P2 P4

Back to bug 373