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

model
Hang.xml (application/xml), 5.67 KB, created by edgar on 2009-06-17 17:55:37 CEST
(hide)
 
Creator: edgar
Created: 2009-06-17 17:55:37 CEST
Size: 5.67 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 472: 216 | 217 | 218