{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:49:27Z","timestamp":1729669767428,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/softcom.2013.6671858","type":"proceedings-article","created":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T21:58:14Z","timestamp":1386107894000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Building a new CTL model checker using Web services"],"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":[{"journal-title":"Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms","year":"2005","author":"tabakov","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"18","first-page":"271","article-title":"Algebraic construction of computers","volume":"90","author":"rus","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"15","first-page":"179","article-title":"Subhashini Balakrishnan and Sofine Tahar, Modeling and Verification of Embedded Systems using Cadence SMV","volume":"1","author":"mir","year":"2000","journal-title":"Conference on Electrical and Computer Engineering 2000 Canadian"},{"key":"16","article-title":"The definitive antlr reference","author":"parr","year":"2007","journal-title":"Building Domain-Specific Languages Version"},{"key":"13","first-page":"22","article-title":"Distributed-memory model checking with SPIN","author":"lerda","year":"1999","journal-title":"Proc of SPIN 1999 1680 of LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80008-8"},{"journal-title":"Techniques for Efficient Formal Verification Using Binary Decision Diagrams","year":"1995","author":"hu","key":"11"},{"journal-title":"Logic in Computer Science Modelling and Reasoning about Systems","year":"2000","author":"huth","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.13"},{"key":"20","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","volume":"1892","author":"vardi","year":"1986","journal-title":"Proc Symp Logic Comput Sci"},{"key":"2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/PDMC-HiBi.2010.9","article-title":"DiVinE: Parallel Distributed Model Checker (Tool paper)","author":"barnat","year":"2010","journal-title":"Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0136-z"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/214762.214769"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61455-2_16"},{"key":"5","first-page":"410","article-title":"NuSMV: A new symbolic model checker","author":"cimatti","year":"2002","journal-title":"STTT International Journal on Software Tools for Technology Transfer"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"A Dynamic Graph Library","year":"2012","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46017-9_18"}],"event":{"name":"2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013)","start":{"date-parts":[[2013,9,18]]},"location":"Split-Primosten, Croatia","end":{"date-parts":[[2013,9,20]]}},"container-title":["2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6657883\/6671843\/06671858.pdf?arnumber=6671858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:35:20Z","timestamp":1498102520000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6671858\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/softcom.2013.6671858","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}