%0 Conference Paper %1 conf/icst/LuckowKP17 %A Luckow, Kasper Søe %A Kersten, Rody %A Pasareanu, Corina S. %B ICST %D 2017 %I IEEE Computer Society %K dblp %P 58-68 %T Symbolic Complexity Analysis Using Context-Preserving Histories. %U http://dblp.uni-trier.de/db/conf/icst/icst2017.html#LuckowKP17 %@ 978-1-5090-6031-3

@inproceedings{conf/icst/LuckowKP17, added-at = {2017-06-14T00:00:00.000+0200}, author = {Luckow, Kasper Søe and Kersten, Rody and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/2696f1b29ad9113481db730fcb41322aa/dblp}, booktitle = {ICST}, crossref = {conf/icst/2017}, ee = {https://doi.org/10.1109/ICST.2017.13}, interhash = {30a30119fa273dc9b7a7760e844781c6}, intrahash = {696f1b29ad9113481db730fcb41322aa}, isbn = {978-1-5090-6031-3}, keywords = {dblp}, pages = {58-68}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T18:25:39.000+0200}, title = {Symbolic Complexity Analysis Using Context-Preserving Histories.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2017.html#LuckowKP17}, year = 2017 }