![](/img/cover-not-exists.png)
[IEEE Comput. Soc Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114) - Antwerp, Belgium (17-19 Sept. 1997)] Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114) - An efficient representation for formal synthesis
Blumenrohr, C., Eisenbiegler, D.Year:
1997
Language:
english
DOI:
10.1109/isss.1997.621670
File:
PDF, 589 KB
english, 1997