George Economakos, George K. Papakonstantinou. Language Based Design Verification with Semantic Analysis. In 25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy. pages 1268, IEEE Computer Society, 1999. [doi]
@inproceedings{EconomakosP99:0,
title = {Language Based Design Verification with Semantic Analysis},
author = {George Economakos and George K. Papakonstantinou},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/euromicro/1999/0321/01/03211268abs.htm},
tags = {rule-based, analysis, language design, design},
researchr = {https://researchr.org/publication/EconomakosP99%3A0},
cites = {0},
citedby = {0},
pages = {1268},
booktitle = {25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy},
publisher = {IEEE Computer Society},
isbn = {0-7695-0321-7},
}