01657oam 2200457zu 450 99621893380331620210807003231.0(CKB)111026746701482(SSID)ssj0000396382(PQKBManifestationID)12119401(PQKBTitleCode)TC0000396382(PQKBWorkID)10460605(PQKB)11623586(EXLCZ)9911102674670148220160829d2000 uy engtxtccrThe 13th International Symposium on System Synthesis : proceedings : Madrid, Spain, September 20-22, 2000[Place of publication not identified]IEEE Computer Society2000Bibliographic Level Mode of Issuance: Monograph0-7695-0765-4 System designCongressesSystems softwareCongressesComputer-aided software engineeringCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCSystem designSystems softwareComputer-aided software engineeringEngineering & Applied SciencesComputer ScienceACM Special Interest Group on Design AutomationIEEE Computer Society Design Automation Technical CommitteeInternational Symposium on System SynthesisPQKBPROCEEDING996218933803316The 13th International Symposium on System Synthesis : proceedings : Madrid, Spain, September 20-22, 20002355410UNISA