{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:08Z","timestamp":1725550628202},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_40","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T05:38:22Z","timestamp":1128577102000},"page":"398-401","source":"Crossref","is-referenced-by-count":0,"title":["Data Refinement for Synchronous System Specification and Construction"],"prefix":"10.1007","author":[{"given":"Alex","family":"Tsow","sequence":"first","affiliation":[]},{"given":"Steven D.","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Hardware Specification, Verification and Synthesis: Mathematical Aspects","author":"S.D. Johnson","year":"1990","unstructured":"Johnson, S.D.: Manipulating logical organization with system factorizations. In: Leeser, M., Brown, G. (eds.) Hardware Specification, Verification and Synthesis: Mathematical Aspects. LNCS, vol.\u00a0408. Springer, Heidelberg (1990)"},{"key":"40_CR2","unstructured":"Johnson, S.D., Tsow, A.: Algebra of behavior tables. In: Lfm2000: Fifth NASA Langley Formal Methods Workshop, Proceedings (2000)"},{"key":"40_CR3","unstructured":"Miner, P.S.: Hardware Verification using Coinductive Assertions. PhD thesis, Computer Science Department, Indiana University, USA (June 1998), T.R. No. 510"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/3-540-40922-X_32","volume-title":"Formal Methods in Computer-Aided Design","author":"A. Tsow","year":"2000","unstructured":"Tsow, A., Johnson, S.D.: Visualizing system factorizations with behavior tables. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol.\u00a01954, pp. 520\u2013537. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:38:13Z","timestamp":1558273093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/11560548_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}