{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T01:22:18Z","timestamp":1649121738714},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/tcad.2012.2194491","type":"journal-article","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T14:02:45Z","timestamp":1345125765000},"page":"1439-1451","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Coalitions in 3-Party Systems"],"prefix":"10.1109","volume":"31","author":[{"given":"Ansuman","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/BFb0015261","volume":"1000","author":"vardi","year":"1995","journal-title":"Computer Science Today"},{"key":"ref38","year":"0","journal-title":"Texas-97 Verification Benchmarks"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/013","author":"rabin","year":"1972","journal-title":"Automata on Infinite Objects and Church s Problem"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"ref31","first-page":"179","author":"pnueli","year":"1989","journal-title":"Proc POPL"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref37","first-page":"1085","article-title":"On discrete and hybrid representations of hybrid systems","author":"stromberg","year":"1994","journal-title":"Proc SCS Int Conf ESM"},{"key":"ref36","first-page":"1","article-title":"On the synthesis of strategies in infinite games","volume":"lncs 900","author":"thomas","year":"1995","journal-title":"Proc 12th Theor Aspects Comput Sci"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_30"},{"key":"ref40","year":"0","journal-title":"Random Verilog Testbench Generator"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/1994916"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-4758-9_8"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6874.001.0001","author":"dill","year":"1989","journal-title":"Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits"},{"key":"ref14","first-page":"364","article-title":"QUBE: A system for deciding quantified Boolean formulas satisfiability","author":"giunchiglia","year":"2001","journal-title":"Proc IJCAR"},{"key":"ref15","first-page":"259","article-title":"Coalition games and alternating temporal logics","author":"goranko","year":"2001","journal-title":"Proc 8th Conf Theor Aspects Rationality Knowl"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214889"},{"key":"ref17","first-page":"37","article-title":"Advanced SAT-techniques for bounded model checking of blackbox designs","author":"herbstritt","year":"2006","journal-title":"Proc 4th Int Workshop MTV"},{"key":"ref18","first-page":"92","article-title":"Open systems in reactive environments: Control and synthesis","author":"kupferman","year":"2000","journal-title":"Proc CONCUR"},{"key":"ref19","first-page":"75","article-title":"Module checking","author":"kupferman","year":"1996","journal-title":"Proc CAV"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8586.00136"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0179-0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.149"},{"key":"ref3","first-page":"458","article-title":"The control of synchronous systems","author":"alfaro","year":"2000","journal-title":"Proc CONCUR"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.Design.2010.46"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.25"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229273"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855763"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351139"},{"key":"ref1","first-page":"1","article-title":"Realizable and unrealizable concurrent program specifications","volume":"372","author":"abadi","year":"1989","journal-title":"Proc ICALP"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/421091"},{"key":"ref22","first-page":"396","article-title":"Distributed controller synthesis for local specifications","author":"madhusudan","year":"2001","journal-title":"Proc ICALP"},{"key":"ref21","first-page":"91","article-title":"Synthesis with incomplete information","author":"kupferman","year":"1997","journal-title":"Proc 2nd Int Conf Temporal Logic"},{"key":"ref24","year":"0","journal-title":"Magellan"},{"key":"ref41","year":"0","journal-title":"VIS Verilog Benchmarks"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055613"},{"key":"ref26","first-page":"194","article-title":"Encoding techniques, Craig interpolants and bounded model checking for incomplete designs","author":"miller","year":"2010","journal-title":"Proc Int Conf Theory Applicat Satisfiability Testing"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2010.19"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6269957\/06269966.pdf?arnumber=6269966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T18:36:39Z","timestamp":1562092599000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6269966\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":41,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2012.2194491","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]}}}