Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/sttt/MorseCN014
%A Morse, Jeremy
%A Cordeiro, Lucas C.
%A Nicole, Denis A.
%A Fischer, Bernd
%D 2014
%J Int. J. Softw. Tools Technol. Transf.
%K
%N 5
%P 519-529
%T Applying symbolic bounded model checking to the 2012 RERS greybox challenge.
%U http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#MorseCN014
%V 16
@article{journals/sttt/MorseCN014,
added-at = {2023-12-12T20:25:20.000+0100},
author = {Morse, Jeremy and Cordeiro, Lucas C. and Nicole, Denis A. and Fischer, Bernd},
biburl = {https://www.bibsonomy.org/bibtex/2a9c60e85066e6e940d3a97b6e431dc4c/admin},
ee = {https://www.wikidata.org/entity/Q57658761},
interhash = {2efe93582a1f3788f84fbe98ec8cd58d},
intrahash = {a9c60e85066e6e940d3a97b6e431dc4c},
journal = {Int. J. Softw. Tools Technol. Transf.},
keywords = {},
number = 5,
pages = {519-529},
timestamp = {2023-12-12T20:25:20.000+0100},
title = {Applying symbolic bounded model checking to the 2012 RERS greybox challenge.},
url = {http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#MorseCN014},
volume = 16,
year = 2014
}