Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 43, number:

1. Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller
   Can American Checkers be Solved by Means of Symbolic Model Checking? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
2. Graziella Tonfoni
   CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
3. Nikolay V. Shilov, Kwang Yi
   Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
4. John M. Rushby
   Analyzing Cockpit Interfaces Using Formal Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
5. Michael Newton
   Grammatical Specification in ASL: Germanic Dependent Clause Order. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
6. David A. Duce, David J. Duke
   Syndetic Modelling: Computer Science Meets Cognitive Psychology. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
7. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
   Formal Verification in the Design of Gestural Interaction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
8. Howard Bowman, Giorgio P. Faconti, Mieke Massink
   Towards Integrated Cognitive and Interface Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
9. Howard Bowman
   Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
   
10. Kenneth J. Turner
    The N-Body Problem in LOTOS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]