Journals in DBLP
STTT 2002, volume: 4, number: 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Dragan Bosnacki , Dennis Dams , Leszek Holenderski Symmetric Spin. [Citation Graph (0, 0)][DBLP ] STTT, 2002, v:4, n:1, pp:92-106 [Journal ] 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 ] 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 ]