{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:55:59Z","timestamp":1778298959154,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540631019","type":"print"},{"value":"9783540691310","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0022196","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T02:24:13Z","timestamp":1131848653000},"page":"44-57","source":"Crossref","is-referenced-by-count":32,"title":["Storage alternatives for large structured state spaces"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Ciardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew S.","family":"Miner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"G. Chiola. Compiling techniques for the analysis of stochastic Petri nets. In Proc. 4th Int. Conf. on Modelling Techniques and Tools for Performance Evaluation, pages 13\u201327, 1989.","DOI":"10.1007\/978-1-4613-0533-0_2"},{"key":"5_CR2","volume-title":"ICASE Report 96-35","author":"G. Ciardo","year":"1996","unstructured":"G. Ciardo and M. Tilgner. On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA, 1996."},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"G. Ciardo and K. S. Trivedi. A decomposition approach for stochastic reward net models. Perf. Eval., 18(1):37\u201359, 1993.","journal-title":"Perf. Eval."},{"key":"5_CR4","volume-title":"Introduction to algorithms","author":"T. H. Cormen","year":"1990","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to algorithms. The MIT Press, Cambridge, MA, 1990."},{"key":"5_CR5","volume-title":"Sorting and Searching","author":"D. E. Knuth","year":"1973","unstructured":"D. E. Knuth. Sorting and Searching. Addison-Wesley, Reading, MA, 1973."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T05:38:40Z","timestamp":1549258720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631019","9783540691310"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0022196","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}