Journals in DBLP

STTT
2002, volume: 4, number: 1

1. Mary Shaw
   What makes good research in software engineering? [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:1-7 [Journal]
   
2. Klaus Havelund, Willem Visser
   Program model checking as a new trend. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:8-20 [Journal]
   
3. Ed Brinksma, Angelika Mader, Ansgar Fehnker
   Verification and optimization of a PLC control schedule. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:21-33 [Journal]
   
4. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
   Expressing checkable properties of dynamic systems: the Bandera Specification Language. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:34-56 [Journal]
   
5. Heikki Tauriainen, Keijo Heljanko
   Testing LTL formula translation into Büchi automata. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:57-70 [Journal]
   
6. Scott D. Stoller
   Model-checking multi-threaded distributed Java programs. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:71-91 [Journal]
   
7. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
   Symmetric Spin. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:92-106 [Journal]
   
8. Cindy Eisner
   Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:107-124 [Journal]
   
9. Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
   Program slicing for VHDL. [Citation Graph (0, 0)][DBLP]
   STTT, 2002, v:4, n:1, pp:125-137 [Journal]