Volume 14, Number 1, February 2012
export record as
dblp key:
journals/sttt/SharyginaTT12 export record as
dblp key:
journals/sttt/GhamarianMRZZ12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/sttt/DeniseGGLOP12 export record as
dblp key:
journals/sttt/SafeCVVNF12
Volume 14, Number 2, April 2012 Regular Model Checking
export record as
dblp key:
export record as
dblp key:
Axel Legay :
Extrapolating (omega-)regular model checking.
119-143
export record as
dblp key:
journals/sttt/BouajjaniT12 export record as
dblp key:
journals/sttt/BouajjaniHRV12 export record as
dblp key:
export record as
dblp key:
journals/sttt/DelzannoR12 export record as
dblp key:
journals/sttt/AbdullaJNdS12
Volume 14, Number 3, June 2012 Runtime Verification
export record as
dblp key:
journals/sttt/SokolskyHL12 export record as
dblp key:
journals/sttt/MeredithJGCR12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/sttt/HuangSCDGSSZ12 export record as
dblp key:
journals/sttt/FalconeFM12
Volume 14, Number 4, August 2012 ICTSS 2010
export record as
dblp key:
journals/sttt/PetrenkoSM12 export record as
dblp key:
export record as
dblp key:
journals/sttt/FalconeFJMM12 export record as
dblp key:
export record as
dblp key:
journals/sttt/VergilioPACN12
Volume 14, Number 5, October 2012 SW-Diversity
export record as
dblp key:
journals/sttt/SchaeferRCBBBPTV12 export record as
dblp key:
export record as
dblp key:
journals/sttt/JorgesLMSS12 export record as
dblp key:
journals/sttt/TartlerSDSL12 export record as
dblp key:
journals/sttt/HeymansBCBD12 export record as
dblp key:
journals/sttt/WongAMPSS12 export record as
dblp key:
journals/sttt/ClassenCHLS12 export record as
dblp key:
Volume 14, Number 6, November 2012 MTM
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/sttt/GomesMSFW12 export record as
dblp key:
journals/sttt/DavidLLMNRSW12
data released under the ODC-BY 1.0 license
