{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:27:37Z","timestamp":1743042457796,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133933"},{"type":"electronic","value":"9783642697067"}],"license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69706-7_18","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T23:29:56Z","timestamp":1343518196000},"page":"133-138","source":"Crossref","is-referenced-by-count":0,"title":["Das Monitor-Konzept der Sprache CDLM: Ein Werkzeug zur Optimierung der Entwurfsverifikation durch vergleichende Simulation"],"prefix":"10.1007","author":[{"given":"F.","family":"M\u00fcndemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"SPICE 2: A Computer Program to Simulate Semiconductor Circuits, Electronics Research Laboratory","author":"LW Nagel","year":"1975","unstructured":"Nagel, LW: SPICE 2: A Computer Program to Simulate Semiconductor Circuits, Electronics Research Laboratory, Univ. of Calif. Berkeley, California, Memorandum No. ERL-M 510, Mai 1975"},{"key":"18_CR2","first-page":"147","volume-title":"ISIS: An Integrated Simulation System for Process-Device- Circuit Design","author":"WH Kao","year":"1983","unstructured":"Kao WH et. al.: ISIS: An Integrated Simulation System for Process-Device- Circuit Design, Proc. IEEE Intern. Conf. on Computer-Aided Design, Sept. 1983, S. 147\u2013150"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/DAC.1983.1585617","volume-title":"20th Design Automation Conference","author":"W Hahn","year":"1983","unstructured":"Hahn W: Computer Design Language \u2014 Version Munich (CDLM): A Modern Multi-Level Language, Proc. 20th Design Automation Conference, Juni 1983, S. 4\u201311"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-69295-6_26","volume-title":"Proc. European Simulation Congress ESC83","author":"W Hahn","year":"1983","unstructured":"Hahn W: Computer Design Language \u2014 Version Munich (CDLM): A Multi-Level Simulation Tool, Proc. European Simulation Congress ESC83, Sept. 1983, S. 207\u2013212"},{"key":"18_CR5","volume-title":"Hochschule der Bundeswehr M\u00fcnchen","author":"W Hahn","year":"1983","unstructured":"Hahn W: Computer Design Language - Version Munich (CDLM): Eine moderne Rechnerentwurf ssprache, Bericht 8002\/2 FB Informatik, Hochschule der Bundeswehr M\u00fcnchen, 1983"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/DAC.1983.1585653","volume-title":"Proc. 20th Design Automation Conference","author":"AS Wojcik","year":"1983","unstructured":"Wojcik AS: Formal Design Verification of Digital Systems, Proc. 20th Design Automation Conference, Juni 1983, S. 228\u2013234"},{"key":"18_CR7","first-page":"13","volume-title":"Proc. IFIP 6th International Symposium on Computer Hardware Description Languages and their Applications","author":"RE Shostak","year":"1983","unstructured":"Shostak RE.: Formal Verification of Circuit Designs, Proc. IFIP 6th International Symposium on Computer Hardware Description Languages and their Applications, Mai 1983, S. 13\u201330"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Abramovici M et al.: A Logic Simulation Machine, Proc. 19th Design Automation Conference, Juni 1982, S. 65\u201373","DOI":"10.1109\/DAC.1982.1585482"},{"key":"18_CR9","first-page":"35","volume-title":"Szygenda SA","author":"R Barto","year":"1980","unstructured":"Barto R, Szygenda SA: A Computer Architecture for digital Logic Simulation, Electronic Engineering, Sept. 1980, S. 35\u201366"},{"key":"18_CR10","first-page":"55","volume-title":"Proc. 19th Design Automation Conference","author":"MM Denneau","year":"1982","unstructured":"Denneau MM: The Yorktown Simulation Engine: Architecture and Hardware Description, Proc. 19th Design Automation Conference, Juni 1982, S. 55\u201359"},{"key":"18_CR11","volume-title":"The Art of Computer Programming, Vol. 1","author":"DE Knuth","year":"1969","unstructured":"Knuth DE: The Art of Computer Programming, Vol. 1, Addison-Wesley Inc., 1969"}],"container-title":["Informatik \u2014 Fachberichte","Simulationstechnik"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69706-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T11:05:14Z","timestamp":1676113514000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-69706-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133933","9783642697067"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69706-7_18","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}