Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase PLTL model checking (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005 (2) 2009 (1)
Publication types (Num. hits)
article(2) inproceedings(1)
Venues (Conferences, Journals, ...)
ACM Trans. Embedded Comput. Sy...(1) Inf. Comput.(1) MEMOCODE(1)
Authors
Jacques Julliand(3) Françoise Bellegarde(2) Pierre-Alain Masson(2) Samir Chouali(2) Emilie Oudot(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jacques Julliand, Pierre-Alain Masson, Emilie Oudot Partitioned PLTL model-checking for refined transition systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Françoise Bellegarde, Samir Chouali, Jacques Julliand Refinemant verification of fair transition systems can contribute to PLTL model checking. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL-partitioned model checking for reactive systems under fairness assumptions. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.