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 "Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates"". 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

    • NewsEntry (2018/05/18)  + (Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates")
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/Invited-20speakers-20:-20Étienne-20Renault-20-2D-20LRDE-2DEPITA,-20%22The-20quest-20for-20an-20efficient-20LTL-20model-2Dchecking%22,-20and-20Mathias-20Ramparison-20-2D-20LIPN,-20Université-20Paris-2013,-20%22Timed-20automata-20with-20parametric-20updates%22"