Sa ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. Reachability analysis using multiway decision graphs in the HOL theorem prover. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 333-338, ACM, 2008. [doi]
@inproceedings{AbedMS08,
title = {Reachability analysis using multiway decision graphs in the HOL theorem prover},
author = {Sa ed Abed and Otmane Aït Mohamed and Ghiath Al Sammane},
year = {2008},
doi = {10.1145/1363686.1363774},
url = {http://doi.acm.org/10.1145/1363686.1363774},
tags = {analysis, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/AbedMS08},
cites = {0},
citedby = {0},
pages = {333-338},
booktitle = {Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
editor = {Roger L. Wainwright and Hisham Haddad},
publisher = {ACM},
isbn = {978-1-59593-753-7},
}