Saurabh Joshi, Daniel Kröning
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
FM, 2015.
@inproceedings{FM-2015-0001K, author = "Saurabh Joshi and Daniel Kröning", booktitle = "{Proceedings of the 20th International Symposium of Formal Methods}", doi = "10.1007/978-3-319-19249-9_19", isbn = "978-3-319-19248-2", pages = "291--307", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Property-Driven Fence Insertion Using Reorder Bounded Model Checking}", volume = 9109, year = 2015, }