{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:20:46Z","timestamp":1743063646113,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662630785"},{"type":"electronic","value":"9783662630792"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-662-63079-2_7","type":"book-chapter","created":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T13:04:14Z","timestamp":1614171854000},"page":"150-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach"],"prefix":"10.1007","author":[{"given":"Torsten","family":"Liebke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,25]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Amparore, E.G., et al.: Presentation of the 9th edition of the model checking contest. In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, 6\u201311 April 2019, Prague, Czech Republic, Proceedings, Part III, pp. 50\u201368 (2019)","key":"7_CR1","DOI":"10.1007\/978-3-030-17502-3_4"},{"doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Computer Aided Verification, 12th International Conference, CAV 2000, 15\u201319 July 2000, Chicago, IL, USA, Proceedings, pp. 154\u2013169 (2000)","key":"7_CR2","DOI":"10.1007\/10722167_15"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-319-19488-2_16","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"\u00c1 Hajdu","year":"2015","unstructured":"Hajdu, \u00c1., V\u00f6r\u00f6s, A., Bartha, T.: New Search strategies for the petri net CEGAR approach. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 309\u2013328. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19488-2_16"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"401","DOI":"10.14232\/actacyb.21.3.2014.8","volume":"21","author":"\u00c1 Hajdu","year":"2014","unstructured":"Hajdu, \u00c1., V\u00f6r\u00f6s, A., Bartha, T., M\u00e1rtonka, Z.: Extensions to the CEGAR approach on Petri nets. Acta Cybern. 21(3), 401\u2013417 (2014)","journal-title":"Acta Cybern."},{"unstructured":"Liebke, T., Wolf, K.: Solving E ($$ \\phi $$ U $$ \\psi $$) using the CEGAR approach. In: Moldt, D., Kindler, E., Wimmer, M. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2019, Aachen, Germany, June 24, 2019. CEUR Workshop Proceedings. CEUR-WS.org, vol. 2424, pp. 47\u201356 (2019)","key":"7_CR5"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-030-21571-2_18","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"T Liebke","year":"2019","unstructured":"Liebke, T., Wolf, K.: Taking some burden off an explicit CTL model checker. In: Donatelli, S., Haar, S. (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 321\u2013341. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21571-2_18"},{"doi-asserted-by":"crossref","unstructured":"Schmidt, K.: Stubborn sets for standard properties. In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 1999, 21\u201325 June 1999, Williamsburg, Virginia, USA, Proceedings, pp. 46\u201365 (1999)","key":"7_CR7","DOI":"10.1007\/3-540-48745-X_4"},{"unstructured":"Wimmel , H., Wolf, K.: Applying CEGAR to the Petri net state equation. In: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, 26 March \u2013 3 April, Saarbr\u00fccken, Germany, 2011. Proceedings, pp. 224\u2013238 (2011)","key":"7_CR8"},{"doi-asserted-by":"crossref","unstructured":"Wolf, K.: Petri net model checking with LoLA 2. In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, 24\u201329 June 2018, Bratislava, Slovakia, Proceedings, pp. 351\u2013362 (2018)","key":"7_CR9","DOI":"10.1007\/978-3-319-91268-4_18"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63079-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,18]],"date-time":"2022-12-18T20:59:29Z","timestamp":1671397169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-63079-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662630785","9783662630792"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63079-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"25 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}