Frank Vahid. Procedure exlining: a new system-level specification transformation. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 508-513, IEEE Computer Society, 1995. [doi]
@inproceedings{Vahid95,
title = {Procedure exlining: a new system-level specification transformation},
author = {Frank Vahid},
year = {1995},
doi = {10.1145/224270.224380},
url = {http://doi.acm.org/10.1145/224270.224380},
tags = {transformation system, transformation},
researchr = {https://researchr.org/publication/Vahid95},
cites = {0},
citedby = {0},
pages = {508-513},
booktitle = {Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
publisher = {IEEE Computer Society},
isbn = {0-8186-7156-4},
}