{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T09:14:39Z","timestamp":1717146879646},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T00:00:00Z","timestamp":1276128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10703-010-0095-8","type":"journal-article","created":{"date-parts":[[2010,6,9]],"date-time":"2010-06-09T09:28:30Z","timestamp":1276075710000},"page":"198-222","source":"Crossref","is-referenced-by-count":5,"title":["Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications"],"prefix":"10.1007","volume":"36","author":[{"given":"Kai","family":"Lampka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Siegle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joern","family":"Ossowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"issue":"2\u20133","key":"95_CR1","volume":"10","year":"1997","unstructured":"Formal Methods in System Design (1997) 10(2\u20133). Special Issue on Multi-Terminal Binary Decision Diagrams","journal-title":"Formal Methods in System Design"},{"issue":"6","key":"95_CR2","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"SB Akers","year":"1978","unstructured":"Akers SB (1978) Binary decision diagrams. IEEE Trans Comput C-27(6):509\u2013516","journal-title":"IEEE Trans Comput"},{"key":"95_CR3","volume-title":"Modelling with generalized stochastic Petri nets","author":"G Balbo","year":"1995","unstructured":"Balbo G, Conte G, Donatelli S, Franceschinis G, Ajmone Marsan M, Ajmone Marsan M (1995) Modelling with generalized stochastic Petri nets. Wiley, New York"},{"issue":"8","key":"95_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"RE Bryant","year":"1986","unstructured":"Bryant RE (1986) Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput C-35(8):677\u2013691","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"95_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10703-006-0033-y","volume":"31","author":"G Ciardo","year":"2007","unstructured":"Ciardo G, L\u00fcttgen G, Miner AS (2007) Exploiting interleaving semantics in symbolic state-space generation. Form Methods Syst Des 31(1):63\u2013100","journal-title":"Form Methods Syst Des"},{"key":"95_CR6","series-title":"LNCS","first-page":"395","volume-title":"Proc. of the 6th int. conference on tools and algorithms for the construction and analysis of systems (TACAS\u201900)","author":"L Alfaro de","year":"2000","unstructured":"de Alfaro L, Kwiatkowska M, Norman G, Parker D, Segala R (2000) Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation. In: Graf S, Schwartzbach M (eds) Proc. of the 6th int. conference on tools and algorithms for the construction and analysis of systems (TACAS\u201900). LNCS, vol 1785. Springer, Berlin, pp 395\u2013410"},{"issue":"9\u201310","key":"95_CR7","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H Hermanns","year":"1998","unstructured":"Hermanns H, Herzog U, Mertsiotakis V (1998) Stochastic process algebras\u2014between LOTOS and Markov chains. Comput Netw ISDN Syst 30(9\u201310):901\u2013924","journal-title":"Comput Netw ISDN Syst"},{"issue":"1\u20132","key":"95_CR8","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S1567-8326(02)00066-8","volume":"56","author":"H Hermanns","year":"2003","unstructured":"Hermanns H, Kwiatkowska M, Norman G, Parker D, Siegle M (2003) On the use of MTBDDs for performability analysis and verification of stochastic systems. J Log Algebr Program 56(1\u20132):23\u201367","journal-title":"J Log Algebr Program"},{"key":"95_CR9","unstructured":"JINC BDD package. www.jossowski.de"},{"issue":"1\u20132","key":"95_CR10","first-page":"9","volume":"4","author":"T Kam","year":"1998","unstructured":"Kam T, Villa T, Brayton R, Sangiovanni-Vincentelli A (1998) Multi-valued decision diagrams: theory and applications. Mult Valued Log 4(1\u20132):9\u201362","journal-title":"Mult Valued Log"},{"key":"95_CR11","series-title":"LNCS","first-page":"293","volume-title":"Proc. of EPEW","author":"M Kuntz","year":"2004","unstructured":"Kuntz M, Siegle M, Werner E (2004) Symbolic performance and dependability evaluation with the tool CASPA. In: Proc. of EPEW. LNCS, vol 3236. Springer, Berlin, pp 293\u2013307"},{"key":"95_CR12","unstructured":"Lampka K, Siegle M (2006) Activity-local state graph generation for high-level stochastic models. In: Meassuring, modeling, and evaluation of systems 2006, April 2006, pp 245\u2013264"},{"key":"95_CR13","unstructured":"Lampka K, Siegle M (2006) Analysis of Markov reward models using zero-supressed multi-terminal decision diagrams. In: Proceedings of VALUETOOLS 2006 (CD-edition), October 2006"},{"key":"95_CR14","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"CY Lee","year":"1959","unstructured":"Lee CY (1959) Representation of switching circuits by binary-decision programs. Bell Syst Tech J 38:985\u2013999","journal-title":"Bell Syst Tech J"},{"key":"95_CR15","doi-asserted-by":"crossref","unstructured":"Minato S (1993) Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proc. of the 30th ACM\/IEEE design automation conference (DAC), Dallas (Texas), USA, June 1993, pp 272\u2013277","DOI":"10.1145\/157485.164890"},{"issue":"2","key":"95_CR16","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/s100090100038","volume":"3","author":"S Minato","year":"2001","unstructured":"Minato S (2001) Zero-suppressed BDDs and their applications. Int J Softw Tools Technol Transf 3(2):156\u2013170","journal-title":"Int J Softw Tools Technol Transf"},{"key":"95_CR17","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-540-24611-4_9","volume-title":"Validation of stochastic systems","author":"A Miner","year":"2004","unstructured":"Miner A, Parker D (2004) Symbolic representations and analysis of large state spaces. In: Baier Ch, Haverkort B, Hermanns H, Katoen J-P, Siegle M (eds) Validation of stochastic systems, Dagstuhl (Germany), 2004. LNCS, vol 2925. Springer, Berlin, pp 296\u2013338"},{"key":"95_CR18","unstructured":"M\u00f6bius web page. www.moebius.crhc.uiuc.edu"},{"issue":"5","key":"95_CR19","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10009-008-0069-y","volume":"10","author":"J Ossowski","year":"2008","unstructured":"Ossowski J, Baier C (2008) A uniform framework for weighted decision diagrams and its implementation. Int J Softw Tools Technol Transf 10(5):425\u2013441","journal-title":"Int J Softw Tools Technol Transf"},{"key":"95_CR20","unstructured":"PRISM. www.prismmodelchecker.org"},{"key":"95_CR21","unstructured":"PROMOC modeling tool. www.jossowski.de"},{"key":"95_CR22","volume-title":"Representations of discrete functions","year":"1996","unstructured":"Sasao T, Fujita M (eds) (1996) Representations of discrete functions, vol 1. Kluwer Academic, Dordrecht"},{"key":"95_CR23","volume-title":"Ein\/Aus","author":"CS Shannon","year":"2000","unstructured":"Shannon CS (2000) Eine symbolische Analyse von\u00a0Relaisschaltkreisen. In: Ein\/Aus. Brinkmann und Bose, Berlin. The article originally appeared with the title: A symbolic analysis of switching circuits in Trans. AIEE 57 (1938), 713"},{"key":"95_CR24","series-title":"LNCS","first-page":"1","volume-title":"Proc. of the joint int. workshop, PAPM-PROBMIV 2001, Aachen (Germany)","author":"M Siegle","year":"2001","unstructured":"Siegle M (2001) Advances in model representation. In: de Alfaro L, Gilmore S (eds) Proc. of the joint int. workshop, PAPM-PROBMIV 2001, Aachen (Germany). LNCS, vol 2165. Springer, Berlin, pp 1\u201322"},{"key":"95_CR25","unstructured":"SMART. www.cs.ucr.edu\/~ciardo\/SMART"},{"key":"95_CR26","unstructured":"Somenzi F (1998) CUDD: Colorado University decision diagram package release"},{"key":"95_CR27","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719789","volume-title":"Branching programs and binary decision diagrams","author":"I Wegener","year":"2000","unstructured":"Wegener I (2000) Branching programs and binary decision diagrams. SIAM, Philadelphia"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-010-0095-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-010-0095-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-010-0095-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T14:36:49Z","timestamp":1591367809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-010-0095-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,10]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s10703-010-0095-8","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,10]]}}}