01674oam 2200469zu 450 991087279500332120241212214752.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: Monograph9780769507651 0769507654 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 SynthesisPQKBPROCEEDING9910872795003321The 13th International Symposium on System Synthesis : proceedings : Madrid, Spain, September 20-22, 20002355410UNINA