Journals in DBLP

STTT
2004, volume: 5, number: 2-3

1. Jaco van de Pol
   Introductory paper. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:105-106 [Journal]
   
2. Tiziana Margaria, Bernhard Steffen
   Lightweight coarse-grained coordination: a scalable system-level approach. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:107-123 [Journal]
   
3. David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier
   Validation and automatic test generation on UML models: the AGATHA approach. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:124-139 [Journal]
   
4. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
   Model-based testing for real. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:140-157 [Journal]
   
5. Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
   Counter-example generation in symbolic abstract model-checking. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:158-164 [Journal]
   
6. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
   aSPIN: A tool for abstract model checking. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:165-184 [Journal]
   
7. Viktor Schuppan, Armin Biere
   Efficient reduction of finite state model checking to reachability analysis. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:185-204 [Journal]
   
8. Thomas Arts, Clara Benac Earle, John Derrick
   Development of a verified Erlang program for resource locking. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:205-220 [Journal]
   
9. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
   Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:5, n:2-3, pp:221-236 [Journal]
   
10. Sylvie Boldo, Marc Daumas
    Properties of two's complement floating point notations. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:237-246 [Journal]
    
11. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
    Directed explicit-state model checking in the validation of communication protocols. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:247-267 [Journal]
    
12. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Covering sharing trees: a compact data structure for parameterized verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:268-297 [Journal]