Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 183, number:

1. Antonio Cerone, Paul Curzon
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:1-2 [Journal]
   
2. Antonio Cerone, Norzima Elbegbayan
   Model-checking Driven Design of Interactive Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:3-20 [Journal]
   
3. Rimvydas Ruksenas, Paul Curzon, Ann Blandford
   Detecting Cognitive Causes of Confidentiality Leaks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:21-38 [Journal]
   
4. Dominique Cansell, J. Paul Gibson, Dominique Méry
   Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:39-55 [Journal]
   
5. Judy Bowen, Steve Reeves
   Formal Models for Informal GUI Designs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:57-72 [Journal]
   
6. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
   Towards a Common Semantic Foundation for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:73-88 [Journal]
   
7. Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
   Towards a Coordination Model for Interactive Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:89-103 [Journal]