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 Qwerfjkl (bot) (talk | contribs) at 04:43, 18 August 2023 (Adding {{WikiProject banner shell}} (Task 19)). 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=1170950307"