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 "Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Université Paris 7], his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the [[Spot]] team's projects, [[TickTac]] in particular.". 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 (2019/03/04)  + (Holding a PhD on pushdown model checking f … Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Université Paris 7], his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the [[Spot]] team's projects, [[TickTac]] in particular.[TickTac]] in particular.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/Holding-20a-20PhD-20on-20pushdown-20model-20checking-20from-20-5Bhttps:-2F-2Fwww.univ-2Dparis-2Ddiderot.fr-20Université-20Paris-207-5D,-20his-20research-20interests-20gravitate-20naturally-20towards-20automata-20theory-20and-20formal-20verification.-20He-20will-20contribute-20to-20the-20-5B-5BSpot-5D-5D-20team%27s-20projects,-20-5B-5BTickTac-5D-5D-20in-20particular."