Conferences in DBLP

Modeling and Verification of Parallel Processes (MOVEP) (movep)
2000 (conf/movep/2000)

1. Stephan Merz
   Model Checking: A Tutorial Overview. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:3-38 [Conf]
   
2. John M. Rushby
   Theorem Proving for Verification. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:39-57 [Conf]
   
3. Antti Valmari
   Composition and Abstraction. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:58-98 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:99-124 [Conf]
   
5. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
   HMSCs as Partial Specifications ... with PNs as Completions. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:125-152 [Conf]
   
6. Alessandro Cimatti
   Industrial Applications of Model Checking. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:153-168 [Conf]
   
7. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
   Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:169-182 [Conf]
   
8. Javier Esparza
   Verification of Systems with an Infinite State Space. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:183-186 [Conf]
   
9. Ed Brinksma, Jan Tretmans
   Testing Transition Systems: An Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:187-195 [Conf]
   
10. Alexandre Petrenko
    Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:196-205 [Conf]
    
11. Silvano Dal-Zilio
    Mobile Processes: A Commented Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:206-222 [Conf]