%0 Conference Paper %1 conf/dsa/LiuZKHWF19 %A Liu, Kun %A Zhang, Xiaozhen %A Kong, Weiqiang %A Hou, Gang %A Watanabe, Masahiko %A Fukuda, Akira %B DSA %D 2019 %I IEEE %K dblp %P 25-36 %T Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. %U http://dblp.uni-trier.de/db/conf/dsa/dsa2019.html#LiuZKHWF19 %@ 978-1-7281-6057-3

@inproceedings{conf/dsa/LiuZKHWF19, added-at = {2020-05-07T00:00:00.000+0200}, author = {Liu, Kun and Zhang, Xiaozhen and Kong, Weiqiang and Hou, Gang and Watanabe, Masahiko and Fukuda, Akira}, biburl = {https://www.bibsonomy.org/bibtex/2d4cb259b20e0653c434d17905efbc437/dblp}, booktitle = {DSA}, crossref = {conf/dsa/2019}, ee = {https://doi.org/10.1109/DSA.2019.00013}, interhash = {c7f21bf2de32daabb24c020a0d8298ea}, intrahash = {d4cb259b20e0653c434d17905efbc437}, isbn = {978-1-7281-6057-3}, keywords = {dblp}, pages = {25-36}, publisher = {IEEE}, timestamp = {2020-05-08T11:42:37.000+0200}, title = {Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.}, url = {http://dblp.uni-trier.de/db/conf/dsa/dsa2019.html#LiuZKHWF19}, year = 2019 }