Journals in DBLP

IEEE Trans. Software Eng.
1996, volume: 22, number: 3

1. James C. Corbett
   Evaluating Deadlock Detection Methods for Concurrent Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:3, pp:161-180 [Journal]
   
2. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
   Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:3, pp:181-201 [Journal]
   
3. Santanu Paul, Atul Prakash
   A Query Algebra for Program Databases. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:3, pp:202-217 [Journal]
   
4. Sanping Chen, Shirley Mills
   A Binary Markov Process Model for Random Testing. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:3, pp:218-223 [Journal]