|
Journals in DBLP
- Tiziana Margaria, Bernhard Steffen
Foreword. [Citation Graph (0, 0)][DBLP] Software - Concepts and Tools, 1996, v:17, n:2, pp:49- [Journal]
- 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]
- 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]
- 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]
- 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]
|