%0 Conference Paper %1 conf/vstte/0001UM17 %A Abe, Tatsuya %A Ugawa, Tomoharu %A Maeda, Toshiyuki %B VSTTE %D 2017 %E Paskevich, Andrei %E Wies, Thomas %I Springer %K dblp %P 170-190 %T Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2017.html#0001UM17 %V 10712 %@ 978-3-319-72308-2

@inproceedings{conf/vstte/0001UM17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Abe, Tatsuya and Ugawa, Tomoharu and Maeda, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/2355897fee2f4aee54663d405ddc8b6c1/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2017}, editor = {Paskevich, Andrei and Wies, Thomas}, ee = {https://doi.org/10.1007/978-3-319-72308-2_11}, interhash = {d97fb7e91283015e5cd0c962df4cc31a}, intrahash = {355897fee2f4aee54663d405ddc8b6c1}, isbn = {978-3-319-72308-2}, keywords = {dblp}, pages = {170-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2017.html#0001UM17}, volume = 10712, year = 2017 }