{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T05:25:08Z","timestamp":1649049908081},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s10703-020-00357-x","type":"journal-article","created":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T10:03:12Z","timestamp":1610964192000},"page":"303-304","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017"],"prefix":"10.1007","volume":"57","author":[{"given":"Daryl","family":"Stewart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Weissenbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,18]]},"reference":[{"key":"357_CR1","doi-asserted-by":"publisher","unstructured":"Bauer MS, Mathur U, Chadha R, Sistla AP, Viswanathan M. Exact quantitative probabilistic model checking through rational search. In: Stewart and Weissenbacher [9], pp 92\u201399. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102246","DOI":"10.23919\/FMCAD.2017.8102246"},{"key":"357_CR2","doi-asserted-by":"publisher","unstructured":"Fedyukovich G, Kaufman SJ, Bod\u00edk R. Sampling invariants from frequency distributions. In: Stewart and Weissenbacher [9], pp 100\u2013107. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102247","DOI":"10.23919\/FMCAD.2017.8102247"},{"issue":"2","key":"357_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10703-017-0307-6","volume":"51","author":"G Gottlob","year":"2017","unstructured":"Gottlob G, Henzinger TA, Weissenbacher G (2017) Preface of the special issue in memoriam Helmut Veith. Formal Methods Syst Des 51(2):267\u2013269. https:\/\/doi.org\/10.1007\/s10703-017-0307-6","journal-title":"Formal Methods Syst Des"},{"key":"357_CR4","doi-asserted-by":"publisher","unstructured":"Hallahan WT, Zhai E, Piskac R. Automated repair by example for firewalls. In: Stewart and Weissenbacher [9], pp 220\u2013229. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102263","DOI":"10.23919\/FMCAD.2017.8102263"},{"key":"357_CR5","doi-asserted-by":"publisher","unstructured":"Havelund K, Peled D, Ulus D. First order temporal logic monitoring with BDDs. In: Stewart and Weissenbacher [9], pp 116\u2013123. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102249","DOI":"10.23919\/FMCAD.2017.8102249"},{"key":"357_CR6","doi-asserted-by":"publisher","unstructured":"Heljanko K. The FMCAD 2017 graduate student forum. In: Stewart and Weissenbacher [9], p\u00a010. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102234","DOI":"10.23919\/FMCAD.2017.8102234"},{"key":"357_CR7","doi-asserted-by":"publisher","unstructured":"Ritirc D, Biere A, Kauers M. Column-wise verification of multipliers using computer algebra. In: Stewart and Weissenbacher [9], pp 23\u201330. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102237","DOI":"10.23919\/FMCAD.2017.8102237"},{"key":"357_CR8","doi-asserted-by":"publisher","unstructured":"Sangnier A, Sznajder N, Potop-Butucaru M, Tixeuil S. Parameterized verification of algorithms for oblivious robots on a ring. In: Stewart and Weissenbacher [9], pp 212\u2013219. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102262","DOI":"10.23919\/FMCAD.2017.8102262"},{"key":"357_CR9","doi-asserted-by":"publisher","unstructured":"Stewart D, Weissenbacher G (eds) FMCAD\u201917: proceedings of the 17th conference on formal methods in computer-aided design. FMCAD Inc., Austin, TX (2017). https:\/\/doi.org\/10.15781\/T2JS9HQ7C, https:\/\/fmcad.org\/FMCAD17\/proceedings\/","DOI":"10.15781\/T2JS9HQ7C"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-020-00357-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-020-00357-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-020-00357-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T12:10:35Z","timestamp":1638360635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-020-00357-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,18]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["357"],"URL":"https:\/\/doi.org\/10.1007\/s10703-020-00357-x","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,18]]},"assertion":[{"value":"7 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}