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 "'''Publication''' [[Publications/bensalem.11.sumo|Generalized Büchi Automata versus Testing Automata for Model Checking]] in ''Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)''". 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

    • Generalized Büchi Automata versus Testing Automata for Model Checking  + ('''Publication''' [[Publications/bensalem.11.sumo|Generalized Büchi Automata versus Testing Automata for Model Checking]] … '''Publication''' [[Publications/bensalem.11.sumo|Generalized Büchi Automata versus Testing Automata for Model Checking]] in ''Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)''nd other models of Concurrency (SUMO'11)'')
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20title/-27-27%27Publication-27-27%27-20-5B-5BPublications-2Fbensalem.11.sumo-7CGeneralized-20Büchi-20Automata-20versus-20Testing-20Automata-20for-20Model-20Checking-5D-5D-20in-20-27-27Proceedings-20of-20the-20second-20International-20Workshop-20on-20Scalable-20and-20Usable-20Model-20Checking-20for-20Petri-20Net-20and-20other-20models-20of-20Concurrency-20(SUMO%2711)-27-27"