{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:40:59Z","timestamp":1730317259502,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2647908.2655970","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T10:22:41Z","timestamp":1410949361000},"page":"78-85","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Software product line analysis with mCRL2"],"prefix":"10.1145","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[{"name":"ISTI-CNR Pisa, Italy"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology & CWI, Amsterdam, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"issue":"5","key":"e_1_3_2_1_2_1","first-page":"49","volume":"8","author":"Apel S.","year":"2009","journal-title":"An Overview of Feature-Oriented Software Development. J. Object Technology"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528265.2528267"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2013.6612276"},{"volume-title":"Cambridge University Press","year":"2010","author":"Baeten J. C. M.","key":"e_1_3_2_1_6_1"},{"volume-title":"ISoLA'14","year":"2014","author":"M.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593489.2593493"},{"volume-title":"PSI'14","year":"2014","author":"M.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500722"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"450","volume-title":"FM'12","author":"M.","year":"2012"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"S. Berezin S. V. A. Campos and E. M. Clarke. Compositional Reasoning in Model Checking. In {27} pages 81--102. S. Berezin S. V. A. Campos and E. M. Clarke. Compositional Reasoning in Model Checking. In {27} pages 81--102.","DOI":"10.1007\/3-540-49213-5_4"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"250","volume-title":"CAV'01","author":"Blom S.","year":"2001"},{"issue":"2","key":"e_1_3_2_1_15_1","first-page":"144","article-title":"Analysis","volume":"3","author":"Borba P.","year":"2013","journal-title":"Test and Verification in The Presence of Variability. Dagstuhl Reports"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486851"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"131","volume-title":"FMICS'12","author":"Cranen S.","year":"2012"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_15"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53479-2_17"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/201019.201032"},{"key":"e_1_3_2_1_27_1","unstructured":"W. P.\n \n de Roever H.\n \n Langmaack and \n \n \n A.\n \n Pnueli\n \n \n . \n COMPOS'97\n . volume \n 1536\n of \n LNCS\n . \n Springer 1997\n . W. P. de Roever H. Langmaack and A. Pnueli. COMPOS'97. volume 1536 of LNCS . Springer 1997."},{"key":"e_1_3_2_1_28_1","first-page":"185","volume-title":"DIMACS Workshop on Descriptive Complexity and Finite Models","author":"Emerson E. A.","year":"1996"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"B. Finkbeiner Z. Manna and H. Sipma. Deductive verification of modular systems. In {27} pages 239--275. B. Finkbeiner Z. Manna and H. Sipma. Deductive verification of modular systems. In {27} pages 239--275.","DOI":"10.1007\/3-540-49213-5_9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503231"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364424"},{"key":"e_1_3_2_1_33_1","series-title":"LNCS","first-page":"100","volume-title":"SC'11","author":"Gondal A.","year":"2011"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","first-page":"74","volume-title":"AMAST'98","author":"Groote J. F.","year":"1998"},{"key":"e_1_3_2_1_35_1","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Methods for Modelling Software Systems","author":"Groote J. F.","year":"2007"},{"key":"e_1_3_2_1_36_1","first-page":"99","volume-title":"Process Algebra for Parallel and Distributed Processing","author":"Groote J. F.","year":"2009"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"O. Kupferman and M. Y. Vardi. Modular Model Checking. In {27} pages 381--401. O. Kupferman and M. Y. Vardi. Modular Model Checking. In {27} pages 381--401.","DOI":"10.1007\/3-540-49213-5_14"},{"key":"e_1_3_2_1_40_1","series-title":"LNCS","first-page":"64","volume-title":"ESOP'07","author":"Larsen K. G.","year":"2007"},{"key":"e_1_3_2_1_41_1","series-title":"LNCS","first-page":"20","volume-title":"TACAS'98","author":"Laster K.","year":"1998"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_43_1","series-title":"LNCS","first-page":"60","volume-title":"SPIN'02","author":"Li H. C.","year":"2002"},{"key":"e_1_3_2_1_44_1","first-page":"195","volume-title":"Interfaces for Modular Feature Verification. In ASE'02","author":"Li H. C.","year":"2002"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0075-7"},{"key":"e_1_3_2_1_46_1","series-title":"LNCS","first-page":"109","volume-title":"IFM'13","author":"Millo J.-V.","year":"2013"},{"key":"e_1_3_2_1_47_1","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall 1989. R. Milner. Communication and Concurrency . Prentice Hall 1989."},{"key":"e_1_3_2_1_48_1","series-title":"LNCS","first-page":"318","volume-title":"SEFM'11","author":"Muschevici R.","year":"2011"},{"key":"e_1_3_2_1_49_1","first-page":"123","volume-title":"transition from global to modular temporal reasoning about programs. In Logics and Models of Concurrent Systems","author":"Pnueli A.","year":"1985"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2012.90"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_10"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345799"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"}],"event":{"name":"SPLC '14: 18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers","sponsor":["University of Florence University of Florence","CNR Istituto di Scienza e Tecnologie dell Informazione"],"location":"Florence Italy","acronym":"SPLC '14"},"container-title":["Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2647908.2655970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T12:22:50Z","timestamp":1673698970000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2647908.2655970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":54,"alternative-id":["10.1145\/2647908.2655970","10.1145\/2647908"],"URL":"https:\/\/doi.org\/10.1145\/2647908.2655970","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}