%0 Conference Paper %1 conf/issta/BlanchardKL16 %A Blanchard, Allan %A Kosmatov, Nikolai %A Loulergue, Frédéric %B CSTVA@ISSTA %D 2016 %E Tripp, Omer %E Wintersteiger, Christoph M. %I CEUR-WS.org %K dblp %P 15-22 %T A CHR-Based Solver for Weak Memory Behaviors. %U http://dblp.uni-trier.de/db/conf/issta/cstva2016.html#BlanchardKL16 %V 1639

@inproceedings{conf/issta/BlanchardKL16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Blanchard, Allan and Kosmatov, Nikolai and Loulergue, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/24ea592270db9d62d1fd1998750527f24/dblp}, booktitle = {CSTVA@ISSTA}, crossref = {conf/issta/2016cstva}, editor = {Tripp, Omer and Wintersteiger, Christoph M.}, ee = {https://ceur-ws.org/Vol-1639/paper-04.pdf}, interhash = {dbdbef3f953e8c3103bac8df22433f58}, intrahash = {4ea592270db9d62d1fd1998750527f24}, keywords = {dblp}, pages = {15-22}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:41:32.000+0200}, title = {A CHR-Based Solver for Weak Memory Behaviors.}, url = {http://dblp.uni-trier.de/db/conf/issta/cstva2016.html#BlanchardKL16}, volume = 1639, year = 2016 }