Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PDMC@CONCUR"( http://dblp.L3S.de/Venues/PDMC@CONCUR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/concur

Publication years (Num. hits)
2002 (12)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
PDMC@CONCUR(12)
Authors
Lubos Brim(3) Orna Grumberg(3) Alexander Bell(1) Alfredo Olivero(1) Boudewijn R. Haverkort(1) Cornelia P. Inggs(1) David Parker 0001(1) Fernando Schapachnik(1) Gerd Behrmann(1) Gethin Norman(1) Howard Barringer(1) Ivana Cerná(1) Jitka Crhová(1) Karen Yorav(1) Marta Z. Kwiatkowska(1) Moshe Y. Vardi(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Moshe Y. Vardi Model Checking: A Complexity-Theoretic Perspective (invited talk). Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerd Behrmann A Performance Study of Distributed Timed Automata Reachability Analysis. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik ZEUS: A Distributed Timed Model-Checker Based on KRONOS. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Orna Grumberg Different directions in parallel and distributed model checking (invited talk). Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Bell, Boudewijn R. Haverkort Sequential and Distributed Model Checking of Petri Net Specifications. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Jitka Crhová, Karen Yorav Using Assumptions to Distribute CTL Model Checking. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Orna Grumberg Preface. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cornelia P. Inggs, Howard Barringer Effective State Exploration for Model Checking on a Shared Memory Architecture. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker 0001 A Symbolic Out-of-Core Solution Method for Markov Models. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefan Blom, Simona Orzan A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Ivana Cerná Local Distributed Model Checking of RegCTL. Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Orna Grumberg (eds.) Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002 Search on Bibsonomy PDMC@CONCUR The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license