You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Hardware specification, verification and synthesis
:
mathematical aspects ; Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5 - 7, 1989 ; proceedings