{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:48:02Z","timestamp":1725634082219},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138624"},{"type":"electronic","value":"9783642700873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-70087-3_1","type":"book-chapter","created":{"date-parts":[[2011,11,14]],"date-time":"2011-11-14T15:17:17Z","timestamp":1321283837000},"page":"5-16","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lengauer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"ALI2 Documentation and Implementation Guide: Language Overview","author":"J Valdes","year":"1982","unstructured":"J. Valdes, \u201cALI2 Documentation and Implementation Guide: Language Overview,\u201d Dep. of Elec. Eng. and Comp. Sci., Princeton University, Princeton, N.J. (1982)."},{"key":"1_CR2","volume-title":"Ph. D. thesis, EECS-Dep. University of Calfornia, Berkeley, CA","author":"MY Hsueh","year":"1979","unstructured":"M.Y. Hsueh, \u201cSymbolic Layout and Compaction of Integrated Circuits,\u201d Ph. D. thesis, EECS-Dep. University of Calfornia, Berkeley, CA (1979)."},{"key":"1_CR3","volume-title":"Kompaktierung geometrischer Layouts","author":"J Doenhardt","year":"1984","unstructured":"J. Doenhardt, \u201cKompaktierung geometrischer Layouts,\u201d Diplomarbeit, FB 10, Univ. d. Saarlandes (1984)"},{"key":"1_CR4","first-page":"63","volume-title":"An Integrated Aid for Top-Down Electrical Design","author":"SM Rubin","year":"1983","unstructured":"S.M. Rubin, \u201cAn Integrated Aid for Top-Down Electrical Design,\u201d Proc. of VLSI83 (1983) 63\u201372."},{"key":"1_CR5","volume-title":"HILLSIM \u2014 ein Simulator f\u00fcr MOS Schaltkreise","author":"K Mehlhorn","year":"1982","unstructured":"K. Mehlhorn, S. N\u00e4her, M. Nowak, \u201cHILLSIM \u2014 ein Simulator f\u00fcr MOS Schaltkreise,\u201d TR A82\/08, FB 10, Univ. d. Saarl., Saarbr\u00fccken (1982)."},{"key":"1_CR6","first-page":"97","volume-title":"Hierarchical Design Validation Based on Rectangles","author":"SC Johnson","year":"1982","unstructured":"S.C. Johnson, \u201cHierarchical Design Validation Based on Rectangles,\u201d Conference on Advanced Research in VLSI, M.I.T. (1982) 97\u2013100."},{"key":"1_CR7","volume-title":"8th Workshop on Graphtheoretic Concepts in Computer Science (WG82)","author":"T Lengauer","year":"1982","unstructured":"T. Lengauer, \u201cOn the Solution of Inequality Systems Relevant to IC Layout,\u201d 8th Workshop on Graphtheoretic Concepts in Computer Science (WG82) (ed. W. Schneider) (1982)."},{"key":"1_CR8","first-page":"358","volume-title":"The Complexity of Compaction Hierarchically Specified Layouts of Integrated Circuits","author":"T Lengauer","year":"1982","unstructured":"T. Lengauer, \u201cThe Complexity of Compaction Hierarchically Specified Layouts of Integrated Circuits,\u201d 23rd FOCS (1982) 358\u2013368.","edition":"23"},{"key":"1_CR9","volume-title":"9th Workshop on Graphtheoretic Concepts in Computer Science (WG83)","author":"T Lengauer","year":"1983","unstructured":"T. Lengauer, \u201cEfficient Algorithms for the Constraint Generation for Integrated Circuits Layout Compaction,\u201d 9th Workshop on Graphtheoretic Concepts in Computer Science (WG83) (ed. M. Nagl) (1983)."},{"key":"1_CR10","first-page":"139","volume-title":"The HILL System: A Design Environment for the Hierarchical Specification,Compaction, and Simulation of Integrated Circuit Layouts","author":"T Lengauer","year":"1984","unstructured":"T. Lengauer, K. Mehlhorn, \u201cThe HILL System: A Design Environment for the Hierarchical Specification,Compaction, and Simulation of Integrated Circuit Layouts,\u201d 1984 Conference on Advanced Research in VLSI, M.I.T. (P. Penfield Jr. ed.) 139\u2013149."},{"key":"1_CR11","volume-title":"Delay-Independent Switch Level Simulation of Digital MOS Circuits","author":"T Lengauer","year":"1984","unstructured":"T. Lengauer, S. N\u00e4her, \u201cDelay-Independent Switch Level Simulation of Digital MOS Circuits,\u201d VLSI: Algorithms and Architectures, International Workshop on Parallel Computing and VLSI, Araalfi, Italy (1984)."},{"key":"1_CR12","volume-title":"On the Lucifer System","author":"JJ Levy","year":"1981","unstructured":"J.J. Levy, \u201cOn the Lucifer System,\u201d Advanced Course on VLSI Architecture, University of Bristol, Great Britain (1981)."},{"key":"1_CR13","volume-title":"Introduction to VLSI Systems","author":"C Mead","year":"1980","unstructured":"C. Mead, L. Conway, Introduction to VLSI Systems, Addison-Wesley (1980)."},{"key":"1_CR14","first-page":"289","volume-title":"STICKS- A Graphical Compiler for High Level LSI Design","author":"JD Williams","year":"1978","unstructured":"J.D. Williams, \u201cSTICKS- A Graphical Compiler for High Level LSI Design,\u201d Nat. Comp. Conf. (1978) 289\u2013295."},{"key":"1_CR15","first-page":"173","volume":"81","author":"L Cardelli","year":"1981","unstructured":"L. Cardelli, G. Plotkin, \u201cAn Algebraic Approach to VLSI Design,\u201d Proc. of VLSI 81 (1981) 173\u2013182.","journal-title":"Proc. of VLSI"},{"key":"1_CR16","unstructured":"P. Vogelgesang, \u201cRatio Checking in NMOS Schaltkreisen,\u201d Diplomarbeit, FB 10, Univ. d. Saarl., to appear."}],"container-title":["Informatik-Fachberichte","Fachgespr\u00e4che auf der 14. GI-Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70087-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:42:03Z","timestamp":1606257723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70087-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138624","9783642700873"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70087-3_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}