LEADER 01334oam 2200409zu 450 001 9910376191903321 005 20210807003520.0 035 $a(CKB)111026746753240 035 $a(SSID)ssj0000779780 035 $a(PQKBManifestationID)12334325 035 $a(PQKBTitleCode)TC0000779780 035 $a(PQKBWorkID)10777872 035 $a(PQKB)10585715 035 $a(Association for Computing Machinery)10.1145/224486 035 $a(EXLCZ)99111026746753240 100 $a20160829d1995 uy 101 0 $aeng 135 $aurnn|008mam|a 181 $ctxt 182 $cc 183 $acr 200 00$aISSS 95: 8th International Symposium System Synthesis 210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d1995 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-89791-771-5 410 0$aACM Conferences 517 3 $aISSS '95 606 $aInformation Technology$xComputer Science (Hardware & Networks) 615 4$aInformation Technology$xComputer Science (Hardware & Networks) 700 $aPaulin$b Pierre G$0971274 712 02$aACM Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376191903321 996 $aISSS 95: 8th International Symposium System Synthesis$92207825 997 $aUNINA