M. Esen Tuna, Kamlesh Rath, Steven D. Johnson. Specification and synthesis of bounded indirection. In 5th Great Lakes Symposium on VLSI (GLS-VLSI 95), March 16-18, 1995, The State University of New York at Buffalo, USA. pages 86-89, IEEE Computer Society, 1995. [doi]
@inproceedings{TunaRJ95,
title = {Specification and synthesis of bounded indirection},
author = {M. Esen Tuna and Kamlesh Rath and Steven D. Johnson},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/glsvlsi/1995/7035/00/70350086abs.htm},
researchr = {https://researchr.org/publication/TunaRJ95},
cites = {0},
citedby = {0},
pages = {86-89},
booktitle = {5th Great Lakes Symposium on VLSI (GLS-VLSI 95), March 16-18, 1995, The State University of New York at Buffalo, USA},
publisher = {IEEE Computer Society},
}