Spot 1.1 released (2013-04-28)

From LRDE

Revision as of 15:10, 16 September 2013 by Bot (talk | contribs) (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot] 1.1 released |subtitle=Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Spot 1.1 released
Sub-Title Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement
Date 2013-04-28
Retrieved from "https://www.lrde.epita.fr/index.php?title=Spot_1.1_released_(2013-04-28)&oldid=3725"