LEADER 01657oam 2200457zu 450 001 996218933803316 005 20210807003231.0 035 $a(CKB)111026746701482 035 $a(SSID)ssj0000396382 035 $a(PQKBManifestationID)12119401 035 $a(PQKBTitleCode)TC0000396382 035 $a(PQKBWorkID)10460605 035 $a(PQKB)11623586 035 $a(EXLCZ)99111026746701482 100 $a20160829d2000 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 14$aThe 13th International Symposium on System Synthesis : proceedings : Madrid, Spain, September 20-22, 2000 210 31$a[Place of publication not identified]$cIEEE Computer Society$d2000 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7695-0765-4 606 $aSystem design$vCongresses 606 $aSystems software$vCongresses 606 $aComputer-aided software engineering$vCongresses 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 0$aSystem design 615 0$aSystems software 615 0$aComputer-aided software engineering 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 712 02$aACM Special Interest Group on Design Automation 712 02$aIEEE Computer Society Design Automation Technical Committee 712 12$aInternational Symposium on System Synthesis 801 0$bPQKB 906 $aPROCEEDING 912 $a996218933803316 996 $aThe 13th International Symposium on System Synthesis : proceedings : Madrid, Spain, September 20-22, 2000$92355410 997 $aUNISA