{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:28:58Z","timestamp":1784644138636,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540555643","type":"print"},{"value":"9783540472186","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031986","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:36:29Z","timestamp":1134282989000},"page":"28-44","source":"Crossref","is-referenced-by-count":26,"title":["Verifying automata specifications of 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,26]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D.L. Dill, \u201cModel-checking for real-time systems,\u201d In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D.L. Dill, \u201cModel-checking for probabilistic real-time systems,\u201d In Automata, Languages, and Programming: Proceedings of the 18th ICALP, Lecture Notes in Computer Science 510, 1991.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume":"443","author":"R. Alur","year":"1990","unstructured":"R. Alur, D.L. Dill, \u201cAutomata for modeling real-time systems,\u201d In Automata, Languages, and Programming: Proceedings of the 17th ICALP, Lecture Notes in Computer Science 443, pages 322\u2013335, 1990.","journal-title":"Lecture Notes in Computer Science"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, \u201cA really temporal logic,\u201d In Proceedings of the 30th IEEE Symposium on Foundations of Computer Science, pages 164\u2013169, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang, \u201cSymbolic model-checking: 1020 states and beyond,\u201d In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, M. Yannakakis, \u201cVerifying temporal properties of finite-state probabilistic programs,\u201d In Proceedings of the 29th IEEE Symposium on Foundations of Computer Science, pages 338\u2013345, 1988.","DOI":"10.1109\/SFCS.1988.21950"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"E.A. Emerson, E.M. Clarke, \u201cUsing branching-time temporal logic to synthesize synchronization skeletons,\u201d Science of Computer Programming 2, pages 241\u2013266, 1982.","journal-title":"Science of Computer Programming"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"P. Godefroid, P. Wolper, \u201cA partial approach to model-checking,\u201d In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science, pages 406\u2013415, 1991.","DOI":"10.1109\/LICS.1991.151664"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"H. Hansson, B. Jonsson, \u201cA framework for reasoning about time and reliability,\u201d In Proceedings of the Tenth IEEE Real-Time Systems Symposium, pages 102\u2013111, 1989.","DOI":"10.1109\/REAL.1989.63561"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans, \u201cSpecifying real-time properties with Metric Temporal Logic,\u201d Journal of Real-Time Systems, 2, pages 255\u2013299, 1990.","journal-title":"Journal of Real-Time Systems"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"H.R. Lewis, \u201cA logic of concrete time intervals,\u201d In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 380\u2013389, 1990.","DOI":"10.1109\/LICS.1990.113763"},{"key":"2_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":"2_CR13","unstructured":"A. Pnueli, L. Zuck, \u201cProbabilistic verification by tableaux,\u201d In Proceedings of the First IEEE Symposium on Logic in Computer Science, 1986."},{"key":"2_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":"2_CR15","first-page":"133","volume":"B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas, \u201cAutomata on infinite objects,\u201d Handbook of Theoretical Computer Science, volume B, pages 133\u2013191, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"2_CR16","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":"2_CR17","doi-asserted-by":"crossref","unstructured":"M. Vardi, \u201cAutomatic verification of probabilistic concurrent finite-state programs,\u201d In Proceedings of the 26th IEEE Symposium on Foundations of Computer Science, pages 327\u2013338, 1985.","DOI":"10.1109\/SFCS.1985.12"}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T08:31:00Z","timestamp":1554885060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031986","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}