{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:21:17Z","timestamp":1743016877407,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330561"},{"type":"electronic","value":"9783540330578"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691372_30","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:22:26Z","timestamp":1143537746000},"page":"445-449","source":"Crossref","is-referenced-by-count":14,"title":["DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Bergamini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Curic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Descoubes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Joubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Smarandache-Sturm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Stragier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054165","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"1998","unstructured":"Garavel, H.: OPEN\/C\u00c6SAR: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 68\u201384. Springer, Heidelberg (1998)"},{"key":"30_CR2","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Model Checking Software","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Mateescu, R., Smarandache, I.: Parallel State Space Construction for Model-Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 217\u2013234. Springer, Heidelberg (2001)"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/3-540-44612-5_34","volume-title":"Mathematical Foundations of Computer Science 2000","author":"J.F. Groote","year":"2000","unstructured":"Groote, J.F., van de Pol, J.: State Space Reduction using Partial \u00f4-Confluence. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 383\u2013393. Springer, Heidelberg (2000)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Joubert, C., Mateescu, R.: Distributed On-the-Fly Equivalence Checking. In: Proc. of PDMC 2004. ENTCS, vol.\u00a0128 (2004)","DOI":"10.1016\/j.entcs.2004.10.018"},{"key":"30_CR6","first-page":"80","volume-title":"Proc. of FMICS 2005","author":"R. Mateescu","year":"2005","unstructured":"Mateescu, R.: On-the-fly State Space Reductions for Weak Equivalences. In: Proc. of FMICS 2005, pp. 80\u201389. ACM Press, New York (2005)"},{"key":"30_CR7","unstructured":"Vasy. Bcg Merge Manual Page (December 2004), \n                    \n                      http:\/\/www.inrialpes.fr\/vasy\/cadp\/man\/bcgmerge.html"},{"key":"30_CR8","unstructured":"Vasy. Distributor Manual Page (December 2004), \n                    \n                      http:\/\/www.inrialpes.fr\/vasy\/cadp\/man\/distributor.html"},{"key":"30_CR9","unstructured":"Vasy and Sen2. The Vlts benchmark suite (March 2003), \n                    \n                      http:\/\/www.inrialpes.fr\/vasy\/cadp\/resources\/benchmarkbcg.html"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691372_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:33:53Z","timestamp":1558272833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691372_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330561","9783540330578"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11691372_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}