{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:06:06Z","timestamp":1742400366371,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348040","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"262-271","source":"Crossref","is-referenced-by-count":6,"title":["Improving efficiency of implicit Markov chain state classification"],"prefix":"10.1109","author":[{"given":"A.S.","family":"Miner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.005"},{"journal-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1990.130209"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1055"},{"key":"18","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/157485.164884","article-title":"on computing the transitive closure of a state transition relation","author":"matsunaga","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277202"},{"journal-title":"Finite Markov Chains","year":"1960","author":"kemeney","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.541433"},{"key":"13","first-page":"188","article-title":"Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains","author":"hermanns","year":"1999","journal-title":"Numerical Solution of Markov Chains"},{"key":"14","first-page":"9","article-title":"Multi-valued decision diagrams: Theory and applications","volume":"4","author":"kam","year":"1998","journal-title":"Multiple-Valued Logic"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278303"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/43.552081"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"key":"3","first-page":"37","article-title":"An algorithm for strongly connected component analysis in n log n symbolic steps","author":"bloem","year":"2000","journal-title":"Proc International Conference on Formal Methods in Computer-aided Design (FMCAD)"},{"key":"20","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","article-title":"Efficient reachability set generation and storage using decision diagrams","author":"miner","year":"1999","journal-title":"Application and Theory of Petri Nets 1999 (Proc 20th Int Conf on Applications and Theory of Petri Nets)"},{"key":"2","article-title":"Approximate GSPN analysis of multiserver polling systems","author":"marsan","year":"1996","journal-title":"Proceedings of the International Conference on Telecommunication Distribution and Parallelism (TDP'96)"},{"journal-title":"Data structures and algorithms","year":"1983","author":"aho","key":"1"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"10"},{"key":"7","first-page":"328","article-title":"Saturation: An efficient iteration strategy for symbolic state space generation","author":"ciardo","year":"2001","journal-title":"Proc Tools Algorithms Constr Anal Syst"},{"key":"6","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-45232-4_6","article-title":"Logical and stochastic modeling with SMART","author":"ciardo","year":"2003","journal-title":"Proc 13th Int Conf on Modelling Techniques and Tools for Computer Performance Evaluation"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"9","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-36126-X_16","article-title":"Using edge-valued decision diagrams for symbolic generation of shortest paths","author":"ciardo","year":"2002","journal-title":"Proc Fourth International Conference on Formal Methods in Computer-aided Design (FMCAD)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"}],"event":{"name":"First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.","start":{"date-parts":[[2004,11,12]]},"location":"Enschede, Netherlands","end":{"date-parts":[[2004,11,12]]}},"container-title":["First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9341\/29678\/01348040.pdf?arnumber=1348040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:39:19Z","timestamp":1497613159000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348040","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}