{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:26Z","timestamp":1725662906291},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_96","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:32:54Z","timestamp":1330191174000},"page":"296-303","source":"Crossref","is-referenced-by-count":0,"title":["Partial interpretations of program schemata"],"prefix":"10.1007","author":[{"given":"J.","family":"Ho\u0159ej\u0161","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"27_CR1","volume-title":"Software validation and pre-implementation issues","author":"R.E. Fairley","year":"1980","unstructured":"Fairley, R.E., Software validation and pre-implementation issues. Software Development Tools, Springer Verlag, Berlin 1980"},{"key":"27_CR2","unstructured":"Ho\u0159ej\u0161, J., Finite semantics: A technique for program testing. Proc. 4th Intern. Conf. Softw. Eng., Munich, Sept. 1979, 433\u2013440"},{"key":"27_CR3","unstructured":"Ho\u0159ej\u0161, J., The theory of flowchart schemata, Proc. 7th Software Seminar SOFSEM'80, VVS Bratislava 1980, 7\u201333 (in Czech)"},{"key":"27_CR4","series-title":"Lecture Notes in Comp. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0023017","volume-title":"Theory of program structures: schemes, semantics, verification","author":"S.A. Greibach","year":"1975","unstructured":"Greibach, S.A., Theory of program structures: schemes, semantics, verification. Lecture Notes in Comp. Sci. 36, Springer Verlag, Berlin 1975"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:40:05Z","timestamp":1619556005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}