default search action

combined dblp search
author search
venue search
publication search

ask others

MOVEP 2000: Nantes, France

> Home > Conferences and Workshops > MOVEP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/movep/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/2000
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan:
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science 2067, Springer 2001, ISBN 3-540-42787-2

Tutorials and Papers

- view
  authority control:
- export record
  dblp key:
  - conf/movep/Merz00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Merz00
Stephan Merz:
Model Checking: A Tutorial Overview. 3-38
- view
  authority control:
- export record
  dblp key:
  - conf/movep/Rushby00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Rushby00
John M. Rushby:
Theorem Proving for Verification. 39-57
- view
  authority control:
- export record
  dblp key:
  - conf/movep/Valmari00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Valmari00
Antti Valmari:
Composition and Abstraction. 58-98
- view
  authority control:
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
Tobias 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:
UPPAAL - Now, Next, and Future. 99-124
- view
  authority control:
- export record
  dblp key:
  - conf/movep/CaillaudDHL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/CaillaudDHL00
Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes:
HMSCs as Partial Specifications ... with PNs as Completions. 125-152
- view
  authority control:
- export record
  dblp key:
  - conf/movep/Cimatti00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Cimatti00
Alessandro Cimatti:
Industrial Applications of Model Checking. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/movep/BolignanoML00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/BolignanoML00
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. 169-182

Annotated Bibliographies

- view
  authority control:
- export record
  dblp key:
  - conf/movep/Esparza00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Esparza00
Javier Esparza:
Verification of Systems with an Infinite State Space. 183-186
- view
  authority control:
- export record
  dblp key:
  - conf/movep/BrinksmaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/BrinksmaT00
Ed Brinksma, Jan Tretmans:
Testing Transition Systems: An Annotated Bibliography. 187-195
- view
  authority control:
- export record
  dblp key:
  - conf/movep/Petrenko00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Petrenko00
Alexandre Petrenko:
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. 196-205
- view
  authority control:
- export record
  dblp key:
  - conf/movep/Dal-Zilio00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/Dal-Zilio00
Silvano Dal-Zilio:
Mobile Processes: A Commented Bibliography. 206-222

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.