%0 Conference Paper %1 conf/setta/AbeUMM16 %A Abe, Tatsuya %A Ugawa, Tomoharu %A Maeda, Toshiyuki %A Matsumoto, Kousuke %B SETTA %D 2016 %E Fränzle, Martin %E Kapur, Deepak %E Zhan, Naijun %K dblp %P 118-135 %T Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. %U http://dblp.uni-trier.de/db/conf/setta/setta2016.html#AbeUMM16 %V 9984 %@ 978-3-319-47676-6

@inproceedings{conf/setta/AbeUMM16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Abe, Tatsuya and Ugawa, Tomoharu and Maeda, Toshiyuki and Matsumoto, Kousuke}, biburl = {https://www.bibsonomy.org/bibtex/29208786325fdac4e63aea3463e496638/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2016}, editor = {Fränzle, Martin and Kapur, Deepak and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-319-47677-3_8}, interhash = {c74afcba23d5c9904f4dc64ddf8dfe36}, intrahash = {9208786325fdac4e63aea3463e496638}, isbn = {978-3-319-47676-6}, keywords = {dblp}, pages = {118-135}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:11.000+0200}, title = {Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2016.html#AbeUMM16}, volume = 9984, year = 2016 }