|
Journals in DBLP
- Rance Cleaveland, Daniel Jackson
Guest Editorial. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:1, pp:5-6 [Journal]
- 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]
- 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]
- 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]
|