Log in / Register
VerifyTAPN
Overview
Code
Bugs
Blueprints
Translations
Answers
Series 1.0
Bug #819458
Comment #1
Comment 1 for bug 819458
Revision history for this message
Morten Jacobsen (mortenja)
wrote
on 2011-08-01
:
#1
This is the TAPAAL model for the GUI
Edit
(78.1 KiB, text/xml)