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

The model
fpga1d.xml (text/xml), 2.44 KB, created by Jacob Illum on 2007-02-19 12:12:49 CET
Creator: Jacob Illum
Created: 2007-02-19 12:12:49 CET
Size: 2.44 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 392: 143 | 144