Mihaly Lenart, Peter Padawitz, Ana Pasztor. Formal specification for design automation. In John S. Gero, Enn Tyugu, editors, Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994. Volume B-18 of IFIP Transactions, pages 201-220, Elsevier, 1994.
@inproceedings{LenartPP94, title = {Formal specification for design automation}, author = {Mihaly Lenart and Peter Padawitz and Ana Pasztor}, year = {1994}, tags = {design}, researchr = {https://researchr.org/publication/LenartPP94}, cites = {0}, citedby = {0}, pages = {201-220}, booktitle = {Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994}, editor = {John S. Gero and Enn Tyugu}, volume = {B-18}, series = {IFIP Transactions}, publisher = {Elsevier}, isbn = {0-444-81970-3}, }