Journals in DBLP

Autom. Softw. Eng.
1999, volume: 6, number: 1

1. Rance Cleaveland, Daniel Jackson
   Guest Editorial. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 1999, v:6, n:1, pp:5-6 [Journal]
   
2. Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
   Behaviour Analysis of Distributed Systems Using the Tracta Approach. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 1999, v:6, n:1, pp:7-35 [Journal]
   
3. Ramesh Bharadwaj, Constance L. Heitmeyer
   Model Checking Complete Requirements Specifications Using Abstraction. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 1999, v:6, n:1, pp:37-68 [Journal]
   
4. Patrick Cousot, Radhia Cousot
   Refining Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 1999, v:6, n:1, pp:69-95 [Journal]