LEADER 01831oam  2200529zu 450 
001 996204920203316
005 20210807003510.0
035   $a(CKB)111026746743088
035   $a(SSID)ssj0000443756
035   $a(PQKBManifestationID)12191143
035   $a(PQKBTitleCode)TC0000443756
035   $a(PQKBWorkID)10473731
035   $a(PQKB)11659679
035   $a(Association for Computing Machinery)10.5555/524431
035   $a(EXLCZ)99111026746743088
100   $a20160829d1996      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 10$aProceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1996
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-8186-7563-2 
410  0$aACM Conferences
517 3 $aISSS '96
606   $aSystem design$xCongresses
606   $aSystems software$xCongresses
606   $aSystems engineering
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aSystem design$xCongresses
615  0$aSystems software$xCongresses
615  0$aSystems engineering
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a004.2/1
712 02$aIEEE Computer Society Design Automation Technical Committee
712 02$aACM Special Interest Group on Design Automation
712 12$aInternational Symposium on System Synthesis
801  0$bPQKB
906   $aBOOK
912   $a996204920203316
996   $aProceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996$91949763
997   $aUNISA