Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 65, number: 7

1. Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar
   Formal Techniques for Analysing Scenarios using Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
2. Manfred Broy
   Message Sequence Charts in the Development Process - Role and Limitations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
3. Benoît Caillaud, Anca Muscholl
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
4. Ingolf Krüger
   Specifying Services with UML and UML-RT. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
5. Doron Peled
   Specification and Verification using Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
6. Sebastián Uchitel, Jeff Kramer, Jeff Magee
   Implied Scenario Detection in the Presence of Behaviour Constraints. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
   
7. Tong Zheng, Ferhat Khendek, Loïc Hélouët
   A Semantics for Timed MSC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]