{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:35:37Z","timestamp":1729676137543,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/saintw.2005.1620026","type":"proceedings-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T05:26:06Z","timestamp":1146893166000},"page":"264-267","source":"Crossref","is-referenced-by-count":1,"title":["Improving Stochastic Model Checking with Stochastic Bounds"],"prefix":"10.1109","author":[{"given":"J.M.","family":"Fourneau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Pekergin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Younes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"Error bound analysis for queueing networks","author":"van dijk","year":"1996","journal-title":"Performane 96 Tutorials"},{"journal-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"11"},{"key":"12","article-title":"Comparison Methods for Queues and Other Stochastic Models","author":"stoyan","year":"1983","journal-title":"John Wiley & Sons"},{"year":"0","key":"3"},{"key":"2","article-title":"Disrete-time rewards model-checked","author":"andova","year":"2003","journal-title":"proceeding AHK03 Springer-verlag (FORMATS"},{"key":"1","article-title":"An algorithm to bound functionals of Markov chains with large state space. Int","author":"abu-amsha","year":"1998","journal-title":"4th INFORMS Telecommunication Conf"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.02.005"},{"key":"6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","article-title":"An algorithmic approach to stochastic bounds","author":"fourneau","year":"2002","journal-title":"LNCS 2459 Performance evaluation of complex systems Techniques and Tools"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.1986.1146398"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2002.1167098"},{"year":"0","key":"9"},{"key":"8","first-page":"512","article-title":"A logic for reasoning about time and reliability. Form. Asp. of Comp","volume":"6","author":"hansson","year":"1994"}],"event":{"name":"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)","location":"Trento, Italy"},"container-title":["2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10775\/33941\/01620026.pdf?arnumber=1620026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T01:30:09Z","timestamp":1497663009000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1620026\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/saintw.2005.1620026","relation":{},"subject":[]}}