Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MOVEP"( http://dblp.L3S.de/Venues/MOVEP )

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

Publication years (Num. hits)
2000 (11) 2001 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
MOVEP(12)
Authors
Alessandro Cimatti(1) Alexandre David(1) Alexandre Petrenko(1) Ansgar Fehnker(1) Antti Valmari(1) Benoît Caillaud(1) Bertrand Jeannet(1) Brigitte Rozoy(1) Carsten Weise(1) Claire Loiseaux(1) Claude Jard(1) Daniel Le Métayer(1) Dominique Bolignano(1) Ed Brinksma(1) Franck Cassez(1) Gerd Behrmann(1) More (+10 of total 33)
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
1Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.) Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Search on Bibsonomy MOVEP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Antti Valmari Composition and Abstraction. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi 0001 UPPAAL - Now, Next, and Future. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Silvano Dal-Zilio Mobile Processes: A Commented Bibliography. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Javier Esparza Verification of Systems with an Infinite State Space. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ed Brinksma, Jan Tretmans Testing Transition Systems: An Annotated Bibliography. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  BibTeX  RDF
1Stephan Merz Model Checking: A Tutorial Overview. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alexandre Petrenko Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti Industrial Applications of Model Checking. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John M. Rushby Theorem Proving for Verification. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  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