Journals in DBLP

Softw. Test., Verif. Reliab.
2003, volume: 13, number: 4

1. Juan Carlos Augusto, Marc Roper
   Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003). [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:205-206 [Journal]
   
2. Cyrille Artho, Klaus Havelund, Armin Biere
   High-level data races. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:207-227 [Journal]
   
3. Phong Tran, Jeffrey Gosper, Ian Gorton
   Evaluating the sustained performance of COTS-based messaging systems. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:229-240 [Journal]
   
4. Ulrich Ultes-Nitsche, Simon St. James
   Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:241-255 [Journal]
   
5. Isabel Evans
   Book Reviews. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:257-258 [Journal]
   
6. Ian Craggs
   Book Reviews. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:258-259 [Journal]