{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:23:04Z","timestamp":1725481384955},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/iccomm.2016.7528292","type":"proceedings-article","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T14:27:58Z","timestamp":1470407278000},"page":"85-88","source":"Crossref","is-referenced-by-count":1,"title":["Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting"],"prefix":"10.1109","author":[{"given":"Mihai Lica","family":"Pura","sequence":"first","affiliation":[]},{"given":"Luciana","family":"Morogan","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Sigma Decision Diagrams","author":"buchs","year":"2009","journal-title":"TERM-GRAPH 2009 Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-07734-5_20","article-title":"StrataGEM: A Generic Petri Net Verification Framework","author":"bobeda","year":"2014","journal-title":"35th International Conference on Application and Theory of Petri Nets and Concurrency"},{"article-title":"The Art of Computer Programming 2: Seminumerical Algorithms","year":"1997","author":"knuth","key":"ref10"},{"article-title":"Term Rewriting Systems","year":"2003","author":"bezem","key":"ref6"},{"article-title":"Symbolic Model Checking with Set Rewriting","year":"2015","author":"bobeda","key":"ref11"},{"article-title":"High-Level Petri Net Model Checking: The Symbolic Way","year":"2012","author":"patrick hostettler","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48650-4_6"},{"article-title":"Transformational Approach to Inverse Computation in Term Rewriting","year":"2004","author":"nishida","key":"ref8"},{"key":"ref7","article-title":"Generation of Inverse Term Rewriting Systems for Pure Treeless Functions","author":"nishida","year":"2001","journal-title":"Proceedings of the International Workshop on Rewriting in Proof and Computation (RPC'01)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13675-7_17"},{"key":"ref9","article-title":"Toward efficient state space generation of algebraic Petri nets","author":"buchs","year":"2010","journal-title":"SMV technical report series 206"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref1"}],"event":{"name":"2016 International Conference on Communications (COMM)","start":{"date-parts":[[2016,6,9]]},"location":"Bucharest, Romania","end":{"date-parts":[[2016,6,10]]}},"container-title":["2016 International Conference on Communications (COMM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7522608\/7528195\/07528292.pdf?arnumber=7528292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T03:21:11Z","timestamp":1568258471000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7528292\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iccomm.2016.7528292","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}