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

The Uppaal model which causes the error
error-dvs.xml (application/octet-stream), 18.52 KB, created by Arne Skou on 2003-09-16 10:58:34 CEST
Creator: Arne Skou
Created: 2003-09-16 10:58:34 CEST
Size: 18.52 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 58: 4