{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:38Z","timestamp":1750308938148,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T00:00:00Z","timestamp":1346544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Tuscany Region","award":["PAR FAS 2007-2013"],"award-info":[{"award-number":["PAR FAS 2007-2013"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,2]]},"DOI":"10.1145\/2364412.2364454","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"242-245","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Demonstration of a model checker for the analysis of product variability"],"prefix":"10.1145","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"94","article-title":"20 Years of modal and mixed specifications","volume":"95","author":"Antonik A.","year":"2008","journal-title":"B. EATCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_3_1","first-page":"43","article-title":"A Logical Framework to Deal with Variability. In IFM'10","volume":"6396","author":"Asirelli P.","year":"2010","journal-title":"LNCS"},{"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.1016\/j.scico.2010.07.002"},{"volume-title":"FM'12. To appear in LNCS 7436","year":"2012","author":"M.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"volume-title":"Softw. Tools Technol. Transfer","year":"2012","author":"Classen A.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211619"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_12_1","first-page":"1046","article-title":"On the Fly Verification of Networks of Automata. In PDPTA'99","volume":"1040","author":"Gnesi S.","year":"1999","journal-title":"CSREA"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"}],"event":{"name":"SPLC - Vol. II: 16th International Software Product Line Conference","sponsor":["Pure-Systems Pure-Systems GmbH","Petrobras Petr\u00f3leo Brasileiro S\/A","SEBRAE Servi\u00e7o Brasileiro de Apoio \u00e0s Micro E Pequenas Empresas","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","Hitachi","INES National Institute of Science and Technology for Software Engineering","IEEE Institute of Electrical and Electronics Engineers","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc.","CAPES Brazilian Higher Education Funding Council"],"location":"Salvador Brazil","acronym":"SPLC - Vol. II"},"container-title":["Proceedings of the 16th International Software Product Line Conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364412.2364454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364412.2364454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:59Z","timestamp":1750282619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364412.2364454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,2]]},"references-count":13,"alternative-id":["10.1145\/2364412.2364454","10.1145\/2364412"],"URL":"https:\/\/doi.org\/10.1145\/2364412.2364454","relation":{},"subject":[],"published":{"date-parts":[[2012,9,2]]},"assertion":[{"value":"2012-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}