{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:24:50Z","timestamp":1725434690766},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icdcsw.2004.1284097","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"622-627","source":"Crossref","is-referenced-by-count":0,"title":["Deductive verification of probabilistic real-time systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2166.357214"},{"key":"ref11","first-page":"1","article-title":"Probabilistic temporal logics for finite and bounded models","author":"sharir","year":"1984","journal-title":"Proc 16th ACM Symp on Theory of Computing"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)91022-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/800061.808757"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01843570"},{"article-title":"Time and Probability in Formal Design of Distributed Systems","year":"1991","author":"hansson","key":"ref15"},{"key":"ref16","first-page":"28","article-title":"Verifying automata specifications of probabilistic real-time systems","author":"alur","year":"1991","journal-title":"LNCS 600"},{"key":"ref17","first-page":"115","article-title":"Model-checking for probabilistic real-time systems","author":"alur","year":"1991","journal-title":"LNCS 510"},{"article-title":"Modeling and Verification of Randomized Distributed Real-Time Systems","year":"1995","author":"segala","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020933"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5"},{"journal-title":"Real-Time Systems Abstractions Languages and Design Methodologies","year":"1992","author":"kavi","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031984"},{"key":"ref1","first-page":"316","author":"tilborg","year":"1991","journal-title":"Foundations of Real-Time Computing Formal Specifications and Methods"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40965-6_18"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s001650300007"},{"key":"ref22","first-page":"327","article-title":"Automatic verification of probabilistic concurrent finite-state systems","author":"vardi","year":"1985","journal-title":"Proc 26th IEEE Symp Foundations of Computer Science"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210075"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.21236\/ADA329718","author":"manna","year":"1996","journal-title":"Temporal Verification of Reactive Systems Progress Unpublished"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"}],"event":{"name":"24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.","start":{"date-parts":[[2004,3,24]]},"location":"Hachioji, Tokyo, Japan","end":{"date-parts":[[2004,3,24]]}},"container-title":["24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9027\/28651\/01284097.pdf?arnumber=1284097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,30]],"date-time":"2018-05-30T12:06:39Z","timestamp":1527681999000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1284097\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icdcsw.2004.1284097","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}