{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:39:42Z","timestamp":1729629582646,"version":"3.28.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348051","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"328-329","source":"Crossref","is-referenced-by-count":3,"title":["The Mobius modeling environment: recent developments"],"prefix":"10.1109","author":[{"given":"T.","family":"Courtney","sequence":"first","affiliation":[]},{"given":"D.","family":"Daly","sequence":"additional","affiliation":[]},{"given":"S.","family":"Derisavi","sequence":"additional","affiliation":[]},{"given":"S.","family":"Gaonkar","sequence":"additional","affiliation":[]},{"given":"M.","family":"Griffith","sequence":"additional","affiliation":[]},{"given":"V.","family":"Lam","sequence":"additional","affiliation":[]},{"given":"W.H.","family":"Sanders","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Result Specification and Model Connection in the Mo?bius Modeling Framework","year":"2000","author":"christensen","key":"3"},{"journal-title":"Abstract Model Specification Using the Mo?bius Modeling Tool","year":"2000","author":"doyle","key":"2"},{"key":"1","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","article-title":"The Mo?bius framework and its implementation","volume":"28","author":"deavours","year":"2002","journal-title":"IEEE Trans on Soft Eng"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"},{"key":"6","first-page":"167","article-title":"Symbolic state-space exploration and numerical analysis of state-sharing composed models","year":"2003","journal-title":"Proc Conf Numerical Solution of Markov Chains"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.01.006"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(03)00070-1"}],"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\/01348051.pdf?arnumber=1348051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:39:19Z","timestamp":1497598759000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348051","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}