A formal language for the design of manufacturable objects

Research output: Chapter in Book/Report/Conference proceedingsConference proceedingpeer-review

Original languageEnglish
Title of host publicationProceedings of the ifip tc5/wg5. 2 workshop on formal design methods for cad
Pages135-155
Number of pages21
Publication statusPublished - 1994

Cite this