{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:28Z","timestamp":1725484828186},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_16","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"149-156","source":"Crossref","is-referenced-by-count":1,"title":["Semantics and Transformations in Formal Synthesis at System Level"],"prefix":"10.1007","author":[{"given":"Viktor","family":"Sabelfeld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Blumenr\u00f6hr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Kapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"C. Blumenr\u00f6hr and D. Eisenbiegler. Performing High-Level Synthesis via Program Transformations within a Theorem Prover, In: Digital System Design Workshop at the 24th EUROMICRO 98 Conference, 1998.","key":"16_CR1","DOI":"10.1109\/EURMIC.1998.711771"},{"doi-asserted-by":"crossref","unstructured":"C. Blumenr\u00f6hr and V. Sabelfeld. Formal Synthesis at the Algorithmic Level, In: Correct Hardware Design and Verification Methods, Charme\u201999, 1999.","key":"16_CR2","DOI":"10.1007\/3-540-48153-2_15"},{"unstructured":"C. Blumenr\u00f6hr. Aformal approach to specify and synthesize at the system level, In: M. Mutz and N. Lange, eds., GI\/ITG\/GME Workshop Modellierung und Verifikation von Schaltungen und Systemen, Braunschweig, Germany, February 1999, pp. 11\u201320, Shaker-Verlag.","key":"16_CR3"},{"unstructured":"M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, Cambridge University Press, 1993.","key":"16_CR4"},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1400","DOI":"10.1007\/3-540-48118-4_24","volume-title":"ParTS: APartitioning Transformation System","author":"J. Iyoda","year":"1999","unstructured":"J. Iyoda, A. Sampaio, L. Silva. ParTS: APartitioning Transformation System, In: FM\u201999-Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, LNCS 1709, pp.1400\u20131419."},{"doi-asserted-by":"crossref","unstructured":"K. Jensen. Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol.1: Basic Concepts, Springer Verlag 1992.","key":"16_CR6","DOI":"10.1007\/978-3-662-06289-0"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1093\/comjnl\/38.2.101","volume":"38","author":"M. Larsson","year":"1995","unstructured":"M. Larsson. An engineering approach to formal digital system design.The Computer Journal, 38(2):101\u2013110, 1995.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"T. F. Melham. Automating Recursive Type Definitions in Higher Order Logic, In:G. Birtwistle and P.A. Subrahmanyam, eds., Current Trends in Hardware Verification and Automated Theorem Proving, pp.341\u2013386, Springer-Verlag, 1989.","key":"16_CR8","DOI":"10.1007\/978-1-4612-3658-0_9"},{"doi-asserted-by":"crossref","unstructured":"R. Sharp, O. Rasmussen. The T-Ruby design system. In: IFIP Conference on Hardware Description Languages and their Applications, pp. 587\u2013596, 1995.","key":"16_CR9","DOI":"10.1109\/ASPDAC.1995.486374"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:08:42Z","timestamp":1550347722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}