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 "Job references" with value " * Parallel Explicit Model Checking for Generalized Büchi Automata: https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf * Improved Multi-Core Nested Depth-First: http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf * Scalable Multi-core LTL Model-Checking: http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf ". 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

    • Jobs/M2 2016 ER Multi-core for Spot  + ( * Parallel Explicit Model Checking for Ge … </br>* Parallel Explicit Model Checking for Generalized Büchi Automata: </br></br>https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf</br></br>* Improved Multi-Core Nested Depth-First: </br></br>http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf</br></br>* Scalable Multi-core LTL Model-Checking: </br></br>http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf</br>public/bd4df1ce0205b57753ace9e3d208b618.pdf )
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:Job-20references/*-20Parallel-20Explicit-20Model-20Checking-20for-20Generalized-20Büchi-20Automata:-20-0A-0Ahttps:-2F-2Fwww.lrde.epita.fr-2F~renault-2Fpublis-2FTACAS15.pdf-0A-0A*-20Improved-20Multi-2DCore-20Nested-20Depth-2DFirst:-20-0A-0Ahttp:-2F-2Feprints.eemcs.utwente.nl-2F21967-2F01-2Fcndfs.pdf-0A-0A*-20Scalable-20Multi-2Dcore-20LTL-20Model-2DChecking:-20-0A-0Ahttp:-2F-2Fanna.fi.muni.cz-2Fpapers-2Fsrc-2Fpublic-2Fbd4df1ce0205b57753ace9e3d208b618.pdf"