{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:53:49Z","timestamp":1729637629559,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/softcom.2014.7039096","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:43:41Z","timestamp":1424202221000},"page":"361-366","source":"Crossref","is-referenced-by-count":3,"title":["Implementing an ATL model checker tool using relational algebra concepts"],"prefix":"10.1109","author":[{"given":"Florin","family":"Stoica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura Florentina","family":"Stoica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_31"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46017-9_18"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80008-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.13"},{"article-title":"Techniques for Efficient Formal Verification Using Binary Decision Diagrams","year":"1995","author":"hu","key":"ref17"},{"key":"ref18","article-title":"Reasoning about Time","author":"ruan","year":"2008","journal-title":"Action and Knowledge in Multi-Agent Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02734-5_1"},{"key":"ref3","article-title":"Database Systems I","author":"herschel","year":"2010","journal-title":"Database Systems Group University of Tiibingen"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-005-0944-9"},{"key":"ref5","first-page":"252","article-title":"Comparing variants of strategic ability","volume":"one","author":"jamroga","year":"2011","journal-title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014742013173"},{"key":"ref7","article-title":"The Definitive ANTLR Reference, Building Domain-Specific Languages","author":"parr","year":"2007","journal-title":"Dallas Texas The Pragmatic Bookshelf"},{"key":"ref2","first-page":"521","article-title":"Mocha: Modularity in Model Checking","author":"alur","year":"1998","journal-title":"Proceedings of the Tenth International Conference on Computer-Aided Verification (CAV) Lecture Notes in Computer Science 1427"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","article-title":"Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications","author":"van der hoek","year":"2003","journal-title":"Studia Logica 75"}],"event":{"name":"2014 22nd International Conference on Software, Telecommunications and Computer Networks (SoftCOM)","start":{"date-parts":[[2014,9,17]]},"location":"Split, Croatia","end":{"date-parts":[[2014,9,19]]}},"container-title":["2014 22nd International Conference on Software, Telecommunications and Computer Networks (SoftCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027280\/7039053\/07039096.pdf?arnumber=7039096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T05:43:45Z","timestamp":1498196625000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/softcom.2014.7039096","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}