{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:14Z","timestamp":1725511934442},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712084"},{"type":"electronic","value":"9783540712091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71209-1_53","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T18:56:34Z","timestamp":1183575394000},"page":"683-689","source":"Crossref","is-referenced-by-count":8,"title":["Distributed Analysis with \u03bcCRL: A Compendium of Case Studies"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Blom","sequence":"first","affiliation":[]},{"given":"Jens R.","family":"Calam\u00e9","sequence":"additional","affiliation":[]},{"given":"Bert","family":"Lisser","sequence":"additional","affiliation":[]},{"given":"Simona","family":"Orzan","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]},{"given":"Mohammad Torabi","family":"Dashti","sequence":"additional","affiliation":[]},{"given":"Anton J.","family":"Wijs","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/10722167_19","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2000","unstructured":"Behrmann, G., Hune, T., Vaandrager, F.W.: Distributing Timed Model Checking - How the Search Order Matters. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 216\u2013231. Springer, Heidelberg (2000)"},{"key":"53_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Computer Aided Verification","author":"S.C.C. Blom","year":"2001","unstructured":"Blom, S.C.C., et al.: \u03bcCRL: A Toolset for Analysing Algebraic Specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"Blom, S.C.C., et al.: New developments around the \u03bcCRL tool set. ENTCS\u00a080 (2003)","DOI":"10.1016\/S1571-0661(04)80827-2"},{"issue":"1","key":"53_CR4","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/s10009-004-0159-4","volume":"7","author":"S.C.C. Blom","year":"2005","unstructured":"Blom, S.C.C., Orzan, S.M.: A distributed algorithm for strong bisimulation reduction of state spaces. STTT\u00a07(1), 74\u201386 (2005)","journal-title":"STTT"},{"key":"53_CR5","unstructured":"Calam\u00e9, J.R., Ioustinova, N., van de Pol, J.C.: Towards Automatic Generation of Parameterized Test Cases from Abstractions. Technical Report SEN-E0602, CWI (March 2006)"},{"key":"53_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75336-0_19","volume-title":"Trustworthy Global Computing","author":"T. Chothia","year":"2007","unstructured":"Chothia, T., et al.: A framework for automatically checking anonymity with \u03bcCRL. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol.\u00a04661, Springer, Heidelberg (2007)"},{"key":"53_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","volume-title":"Computer Aided Verification","author":"D. Dill","year":"1996","unstructured":"Dill, D.: The Mur\u03c6 Verification System. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 390\u2013393. Springer, Heidelberg (1996)"},{"key":"53_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/11691372_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2006","unstructured":"Garavel, H., et al.: DISTRIBUTOR and BCG_MERGE: Tools for Distr.Explicit State Space Generation. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 445\u2013449. Springer, Heidelberg (2006)"},{"key":"53_CR9","unstructured":"Jonker, H., Krishnan Nair, S., Torabi Dashti, M.: Nuovo DRM paradiso. Technical Report SEN-R0602, CWI, Amsterdam (2006)"},{"key":"53_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F. Lerda","year":"1999","unstructured":"Lerda, F., Sista, R.: Distributed-Memory model checking with SPIN. In: Dams, D.R., et al. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 22\u201339. Springer, Heidelberg (1999)"},{"key":"53_CR11","unstructured":"Lisser, B.: Distributed State Space Generator (preliminary) (2006), http:\/\/www.cwi.nl\/~mcrl\/instantiators.pdf"},{"key":"53_CR12","unstructured":"Orzan, S.M., van de Pol, J.C.: Detecting strongly connected components in large distributed state spaces. Technical Report SEN-E0501, CWI (2005)"},{"key":"53_CR13","first-page":"1","volume":"71","author":"J. Pang","year":"2007","unstructured":"Pang, J., et al.: Model checking a cache coherence protocol of a Java DSM implementation. JLAP\u00a071, 1\u201343 (2007)","journal-title":"JLAP"},{"key":"53_CR14","series-title":"Lecture Notes in Artificial Intelligence","first-page":"166","volume-title":"Model Checking and Artificial Intelligence","author":"B. Lisser","year":"2007","unstructured":"Lisser, B., Wijs, A.J.: Distributed Extended Beam Search for Quantitative Model Checking. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol.\u00a04428, pp. 166\u2013184. Springer, Heidelberg (2007)"},{"key":"53_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1081180.1081188","volume-title":"Proc. FMICS \u201905","author":"A.J. Wijs","year":"2005","unstructured":"Wijs, A.J., van de Pol, J.C., Bortnik, E.: Solving Scheduling Problems by Untimed Model Checking. In: Proc. FMICS \u201905, pp. 54\u201361. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71209-1_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T23:22:25Z","timestamp":1556580145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71209-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540712084","9783540712091"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71209-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}