Jump to content

Talk:TAPAAL Model Checker

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by SineBot (talk | contribs) at 08:34, 11 February 2012 (Signing comment by Srba - ""). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

External links related to the tool TAPAAL were added, including the homepage and links to selected publications at the publisher Springer-Verlag where the tool has been presented.

I would really like to upload some screenshots, can someone help me with this? — Preceding unsigned comment added by Srba (talk • contribs) 08:33, 11 February 2012 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:TAPAAL_Model_Checker&oldid=476248767"