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

Thu Mar 28 2024 13:35:09 CET
Shoot the bug! Shoot the bug!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
61 UPPAAL GUI behrmann CLOS DUPL Server connection lost, the server connection has been killed 2004-03-15
One bug found.

as

File a new bug in the "GUI" component of the "UPPAAL" product