Katell Morin-Allory, Marc Boule, Dominique Borrione, Zeljko Zilic. Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(9):1436-1448, 2010. [doi]
@article{Morin-AlloryBBZ10,
title = {Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers},
author = {Katell Morin-Allory and Marc Boule and Dominique Borrione and Zeljko Zilic},
year = {2010},
doi = {10.1109/TCAD.2010.2049150},
url = {http://dx.doi.org/10.1109/TCAD.2010.2049150},
tags = {semantics, rule-based, graph-rewriting, rules, rewriting},
researchr = {https://researchr.org/publication/Morin-AlloryBBZ10},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {29},
number = {9},
pages = {1436-1448},
}