{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:02:03Z","timestamp":1725652923511},"publisher-location":"London","reference-count":7,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198383"},{"type":"electronic","value":"9781447120612"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-2061-2_4","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T05:11:37Z","timestamp":1326690697000},"page":"31-40","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Composition and Refinement of Probabilistic Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[]},{"given":"Jens","family":"Nordahl","sequence":"additional","affiliation":[]},{"given":"Erling","family":"Vagn S\u00f8rensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,1]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. Ravn","year":"1993","unstructured":"A.P.Ravn, H.Rischel, and K.M.Hansen. Specifying and verifying requirements of real-time systems. IEEE Trans. Software Eng., 19(1), 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra, and S.A. Smolka. Axiomatizing probabilistic processes: Acp with generative probabilities. In Lecture Notes in Computer Science, volume 630, pages 472\u2013485. Springer Verlag, 1992.","DOI":"10.1007\/BFb0084810"},{"key":"4_CR3","unstructured":"B. Jonsson and K. Larsen. Specification and refinement of probabilistic processes. In Proc. 6th Annual Symp. on Logics in Computer Science, pages 226\u2013277, 1991."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and A. Skou. Compositional verification of probabilistic processes. In Lecture Notes in Computer Science, volume 630, pages 456\u2013471. Springer Verlag, 1992.","DOI":"10.1007\/BFb0084809"},{"key":"4_CR5","unstructured":"Z. Liu, E.V. S\u00f8rensen, A.P. Ravn, and C.C. Zhou. Towards a calculus of systems dependability. Technical report, Department of Computer Science, Technical University of Demark, 1993. To appear in Journal of High Integrity Systems, Oxford University Press."},{"key":"4_CR6","unstructured":"Zhiming Liu, J. Nordahl, and E. V. S\u00f8rensen. Compositional design and refinement of probabilistic real time systems. Technical report, Institute of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, 1993."},{"issue":"5","key":"4_CR7","first-page":"269","volume":"40","author":"C.C. Zhou","year":"1992","unstructured":"C.C. Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1992.","journal-title":"Information Processing Letters"}],"container-title":["SAFECOMP \u201993"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2061-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T02:04:39Z","timestamp":1560391479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2061-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198383","9781447120612"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2061-2_4","relation":{},"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"1 December 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}