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

Uppaal Model With Single Query
Model.rar (application/x-rar-compressed), 2.99 KB, created by Alessandro Palermo on 2013-06-21 16:19:34 CEST
(hide)
 
Creator: Alessandro Palermo
Created: 2013-06-21 16:19:34 CEST
Size: 2.99 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 554: 261