{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:56Z","timestamp":1762459016546},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327582"},{"type":"electronic","value":"9783642327599"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32759-9_36","type":"book-chapter","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T10:12:30Z","timestamp":1345543950000},"page":"450-454","source":"Crossref","is-referenced-by-count":30,"title":["VMC: A Tool for Product Variability Analysis"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aldi","family":"Sulova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"Integrated Formal Methods","author":"P. Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: SPLC 2011, pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"issue":"2","key":"36_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program.\u00a076(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y.: Model Checking Software Product Lines with SNIP. To appear in Int. J. Softw. Tools Technol. Transfer (2012)","DOI":"10.1007\/s10009-012-0234-1"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The Modal Transition System Analyser. In: ASE 2008, pp. 475\u2013476. IEEE (2008)","DOI":"10.1109\/ASE.2008.78"},{"issue":"3","key":"36_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2211616.2211619","volume":"21","author":"A. Fantechi","year":"2012","unstructured":"Fantechi, A., Lapadula, A., Pugliese, R., Tiezzi, F., Gnesi, S., Mazzanti, F.: A Logical Verification Methodology for Service-Oriented Computing. ACM Trans. Softw. Eng. Methodol.\u00a021(3), article 16, 1\u201346 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA 2006, pp. 39\u201348. ACM (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"36_CR8","unstructured":"Gnesi, S., Mazzanti, F.: On the Fly Verification of Networks of Automata. In: PDPTA 1999, pp. 1040\u20131046. CSREA Press (1999)"}],"container-title":["Lecture Notes in Computer Science","FM 2012: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32759-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T04:00:27Z","timestamp":1557201627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32759-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327582","9783642327599"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32759-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}