Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 55, number: 3

1. Marius Bozga, Susanne Graf, Laurent Mounier
   Automated validation of distributed software using the IF environment. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
2. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
   Trail-directed model checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
3. Cindy Eisner
   Model checking the garbage collection mechanism of SMV. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
4. Frank Huch
   Model checking Erlang programs - abstracting the context-free structure. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
5. Sarfraz Khurshid, Darko Marinov
   Checking Java implementation of a naming architecture using Testera. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
6. Timm Schäfer, Alexander Knapp, Stephan Merz
   Model checking UML state machines and collaborations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
7. Scott D. Stoller, Willem Visser
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
   
8. Kirsten Winter
   Model checking with abstract types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]