Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase CTL models (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2007 (1) 2010 (1) 2011 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
ATVA(1) IBERAMIA(1) LPAR(1) VMCAI(1)
Authors
David A. Rosenblueth(1) Dorel Lucanu(1) Florian Widmann(1) Gabriel Ciobanu(1) Miguel A. Carrillo(1) Paulo T. Guerra(1) Pietro Abate(1) Rajeev Goré(1) Renata Wassermann(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Dorel Lucanu, Gabriel Ciobanu Model Checking for Object Specifications in Hidden Algebra. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
1Miguel A. Carrillo, David A. Rosenblueth Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paulo T. Guerra, Renata Wassermann Revision of CTL Models. Search on Bibsonomy IBERAMIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pietro Abate, Rajeev Goré, Florian Widmann One-Pass Tableaux for Computation Tree Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.