Journals in DBLP

Software - Concepts and Tools
1996, volume: 17, number: 2

1. Tiziana Margaria, Bernhard Steffen
   Foreword. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:49- [Journal]
   
2. Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
   Modeling and Verifying Distributed Systems Using Priorities: A Case Study. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:50-62 [Journal]
   
3. Gerard J. Holzmann
   Early Fault Detection Tools. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:63-69 [Journal]
   
4. Rajeev Alur, Gerard J. Holzmann, Doron Peled
   An Analyzer for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:70-77 [Journal]
   
5. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
   Incremental Formalization: A Key to Industrial Success. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:78-0 [Journal]