{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T18:55:04Z","timestamp":1784314504106,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540542339","type":"print"},{"value":"9783540475163","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_128","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:39:27Z","timestamp":1330191567000},"page":"115-126","source":"Crossref","is-referenced-by-count":83,"title":["Model-checking for probabilistic real-time systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Dill","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D. Dill, \u201cModel-checking for real-time systems,\u201d 5th LICS, 1990.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"8_CR2","unstructured":"R. Alur, D.L. Dill, \u201cAutomata for modeling real-time systems,\u201d 17th ICALP, In Lecture Notes in Computer Science, 443, 1990."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, \u201cA really temporal logic,\u201d 29th FOCS, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"8_CR4","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang, \u201cSymbolic modelchecking: 1020 states and beyond,\u201d 5th LICS, 1990."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, A.P. Sistla, \u201cAutomatic verification of finite-state concurrent systems using temporal logic specifications,\u201d ACM TOPLAS 8(2), 1986.","DOI":"10.1145\/5397.5399"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, M. Yannakakis, \u201cVerifying temporal properties of finite-state probabilistic programs,\u201d 29th FOCS, 1988.","DOI":"10.1109\/SFCS.1988.21950"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, E.C. Clarke, \u201cUsing branching time temporal logic to synthesize synchronization skeletons,\u201d Science of Computer Programming 2, 1982.","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Godefroid, \u201cUsing partial orders to improve automatic verification methods,\u201d In Proceedings of Workshop on Computer Aided Verification, Rutgers, 1990.","DOI":"10.1090\/dimacs\/003\/21"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"H. Hansson, B. Jonsson, \u201cA Framework for Reasoning about Time and Reliability,\u201d Real Time Systems Symposium, 1989.","DOI":"10.1109\/REAL.1989.63561"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"R. Koymans, \u201cSpecifying message passing and time-critical systems with temporal logic,\u201d Ph.D. Thesis, Eindhoven Univ. of Tech., 1989.","DOI":"10.1007\/3-540-51803-7_28"},{"key":"8_CR11","unstructured":"H.R. Lewis, \u201cA logic of concrete time intervals,\u201d 5th LICS, 1990."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"D. Lehman, S. Shelah, \u201cReasoning with time and chance,\u201d Information and Control 53, 1982.","DOI":"10.1016\/S0019-9958(82)91022-1"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"A. Pnueli, L. Zuck, \u201cProbabilistic verification by tableaux,\u201d 1st LICS, 1986.","DOI":"10.1007\/BF01843570"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"G.S. Shedler, Regeneration and Networks of Queues, Springer-Verlag, 1987.","DOI":"10.1007\/978-1-4612-1050-4"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"W. Whitt, \u201cContinuity of generalized semi-Markov processes,\u201d Math. Oper. Res. 5,1980.","DOI":"10.1287\/moor.5.4.494"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"M. Vardi, \u201cAutomatic verification of probabilistic concurrent finite-state programs,\u201d 26th STOC, 1985.","DOI":"10.1109\/SFCS.1985.12"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_128.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:07Z","timestamp":1605628387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_128","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}