%0 Conference Paper %1 conf/forte/HornK15 %A Horn, Alex %A Kroening, Daniel %B FORTE %D 2015 %E Graf, Susanne %E Viswanathan, Mahesh %I Springer %K dblp %P 19-34 %T On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. %U http://dblp.uni-trier.de/db/conf/forte/forte2015.html#HornK15 %V 9039 %@ 978-3-319-19194-2

@inproceedings{conf/forte/HornK15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Horn, Alex and Kroening, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/24701a63acb28df837f0b37ee97ff97f3/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2015}, editor = {Graf, Susanne and Viswanathan, Mahesh}, ee = {https://doi.org/10.1007/978-3-319-19195-9_2}, interhash = {2f9d1132fbb7db56d3a4654dbf663a72}, intrahash = {4701a63acb28df837f0b37ee97ff97f3}, isbn = {978-3-319-19194-2}, keywords = {dblp}, pages = {19-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:06:34.000+0200}, title = {On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2015.html#HornK15}, volume = 9039, year = 2015 }