Blanchard Allan,
Nikolai Kosmatov,
and Frédéric Loulergue.
A CHR-Based Solver for Weak Memory Behaviors.
In 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA),
2016.
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
Last Update
Thu Mar 24 16:28:47 2022
Authors
This bibliography was compiled by the following authors:
Peter Van Weert
Jon Sneyers
Tom Schrijvers
Leslie De Koninck
Falco Nogatz
Thom Frühwirth
Daniel Gall
Please send BibTEX entries of missing CHR-related publications to Falco Nogatz.
Credits
This document was generated from BibTEX by
bibtex2html.