Revision history of "Spot 1.1 released (2013-04-28)"

View logs for this page

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 15:10, 16 September 2013‎ Bot talk contribs‎ 223 bytes +223‎ 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 ..."
Retrieved from "https://www.lrde.epita.fr/wiki/Spot_1.1_released_(2013-04-28)"