Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "News subtitle" with value "Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • Spot 1.1 released (2013-04-28)  + (Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/Spot-20is-20a-20model-2Dchecking-20library-20developed-20collaboratively-20by-20LRDE-20and-20LIP6.-20It-20provides-20algorithms-20and-20data-20structures-20to-20implement"