Juin-Yeu Lu, Shiu-Kai Chin. Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. In Thomas F. Melham, Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Volume 859 of Lecture Notes in Computer Science, pages 316-331, Springer, 1994.
@inproceedings{LuC94,
title = {Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics},
author = {Juin-Yeu Lu and Shiu-Kai Chin},
year = {1994},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/LuC94},
cites = {0},
citedby = {0},
pages = {316-331},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
editor = {Thomas F. Melham and Juanito Camilleri},
volume = {859},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58450-1},
}