|
Journals in DBLP
- Ugo A. Buy, Robert H. Sloan
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2001, v:8, n:3-4, pp:227-273 [Journal]
- José Creissac Campos, Michael D. Harrison
Model Checking Interactor Specifications. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2001, v:8, n:3-4, pp:275-310 [Journal]
- Nabor C. Mendonça, Jeff Kramer
An Approach for Recovering Distributed System Architectures. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2001, v:8, n:3-4, pp:311-354 [Journal]
- Darrel C. Ince
Eight Desert Island Books. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2001, v:8, n:3-4, pp:355-358 [Journal]
|