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 title" with value "Ala Eddine Ben Salem defends his [[Affiche-these-AB | PhD thesis]] "Improving the Model Checking of Stutter-Invariant LTL Properties" at [http://www.lip6.fr/ Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC] at 2pm.". 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 (2014/09/25)  + (Ala Eddine Ben Salem defends his [[Affiche-these-AB | PhD thesis]] "Improving the Model Checking of Stutter-Invariant LTL Properties" at [http://www.lip6.fr/ Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC] at 2pm.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20title/Ala-20Eddine-20Ben-20Salem-20defends-20his-20-5B-5BAffiche-2Dthese-2DAB-20-7C-20PhD-20thesis-5D-5D-20%22Improving-20the-20Model-20Checking-20of-20Stutter-2DInvariant-20LTL-20Properties%22-20at-20-5Bhttp:-2F-2Fwww.lip6.fr-2F-20Laboratoire-20d%27Informatique-20de-20Paris-206-20(LIP6)-20at-20UPMC-5D-20at-202pm."