Journals in DBLP

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

1. Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese
   Prototyping and Programming with Relations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
2. David Lorge Parnas
   The Tabular Method for Relational Documentation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
3. Eugenio G. Omodeo, Ernst-Erich Doberkat
   Algebraic semantics of ER-models in the context of the calculus of relations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
4. Ridha Khédri
   Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
5. Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
   RelMiS 2001 - Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
6. Wolfram Kahl
   Refinement and Development of Programs from Relational Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
7. Diego Del Gobbo, Ali Mili
   An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
8. Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni
   A graphical approach to relational reasoning. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
9. Roberto Bruni, Fabio Gadducci
   Some algebraic laws for spans. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
   
10. Michael Winter
    Generating Processes from Specifications using the Relation Manipulation System RelView. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]