{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:34:27Z","timestamp":1725464067586},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540122842"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0051557","type":"book-chapter","created":{"date-parts":[[2006,4,22]],"date-time":"2006-04-22T04:10:16Z","timestamp":1145679016000},"page":"1-15","source":"Crossref","is-referenced-by-count":0,"title":["System cars and its description language"],"prefix":"10.1007","author":[{"given":"L. L.","family":"M\u00e1t\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bohus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gy.","family":"Csopaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Filp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Hinsenkamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Coplaner, H.D. and Janku, J.A.: Top Down Approach to LSI System Design. Computer Design, Vol. 13,No.8. August 1974."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Hill, D., van Cleemput, W.: SABLE: a Tool for Generating Structured Multi-level Simulation. Proc. of 16th Design Automation Conference, San Diego, 1979.","DOI":"10.1109\/DAC.1979.1600118"},{"key":"1_CR3","unstructured":"M\u00e1t\u00e9, L., Bohus, M., Filp, A., Hinsenkamp, A.: CARS: A Computer Aid for Recursive Synthesis. Proc. of ICCC'80, Port Chester, 1980."},{"key":"1_CR4","unstructured":"Noon, W.A.: A Design Verification and Logic Validation System. Proc. of the 14th Design Automation Conference, New York, 1977."},{"key":"1_CR5","unstructured":"Compbell, R.H., Habermann, A.N.: Process Synchronization by Path Expressions. Lecture Notes in Computer Science No. 16, New York, 1974."},{"key":"1_CR6","volume-title":"CDL-A Compiler Implementation Language","author":"C.H.A. Koster","year":"1977","unstructured":"Koster, C.H.A.: CDL-A Compiler Implementation Language. Springer Verlag, Berlin, 1977."}],"container-title":["Lecture Notes in Computer Science","Specification and Design of Software Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0051557.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:57:59Z","timestamp":1607551079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0051557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540122842"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0051557","relation":{},"subject":[]}}