{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:32:15Z","timestamp":1725564735228},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219934"},{"type":"electronic","value":"9783540246800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24680-0_152","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T22:50:22Z","timestamp":1283986222000},"page":"970-977","source":"Crossref","is-referenced-by-count":0,"title":["The Availability Semantics of Predicate Data Flow Diagram"],"prefix":"10.1007","author":[{"given":"Xiaolei","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"152_CR1","unstructured":"Xiaolei, G., Huaikou, M., Yihai, C.: SOZL language: A New Software Development Methodology. In: 16 IFIP World Computer Congress, Beijing, China, August 21-25 (2000)"},{"key":"152_CR2","unstructured":"Huaikou, M., Xiaolei, G., Gang, L.: The Comparison and Combination of Structured Methodology, Object-Oriented Methodology and Formal Methods. Computer Engineering & Science\u00a021(4) (1999)"},{"key":"152_CR3","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"J.M. Spivey","year":"1988","unstructured":"Spivey, J.M.: Understanding Z: A Specification Language and Its Formal Semantics. In: Cambridge Tracts in Theoretical Computer Science, vol.\u00a03, Cambridge University Press, Cambridge (1988)"},{"issue":"3","key":"152_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1142\/S0218194098000145","volume":"8","author":"S. Liu","year":"1998","unstructured":"Liu, S.: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering\u00a08(3), 253\u2013281 (1998)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"152_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0164-1212(93)90037-X","volume":"21","author":"S. Liu","year":"1993","unstructured":"Liu, S.: A Formal Requirements Specification Method Based on Data Flow Analysis. The Journal of Systems and Software\u00a021, 141\u2013149 (1993)","journal-title":"The Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24680-0_152.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:02:16Z","timestamp":1620010936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24680-0_152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219934","9783540246800"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24680-0_152","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}