{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:48:54Z","timestamp":1648597734637},"reference-count":9,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.112.9","type":"journal-article","created":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T10:15:56Z","timestamp":1362046556000},"page":"43-51","source":"Crossref","is-referenced-by-count":0,"title":["Lossy Channel Games under Incomplete Information"],"prefix":"10.4204","volume":"112","author":[{"given":"Rayna","family":"Dimitrova","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2013,3,1]]},"reference":[{"issue":"1","key":"AbdullaBd\/08\/MonotonicAndDownwardClosedGames","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1093\/logcom\/exm062","article-title":"Monotonic and Downward Closed Games","volume":"18","author":"Abdulla","year":"2008","journal-title":"J. Log. Comput."},{"issue":"1","key":"AbdullaCBJ\/04\/UsingForwardReachabilityAnalysisForVerificationOfLossyChannelSystems","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/B:FORM.0000033962.51898.1a","article-title":"Using Forward Reachability Analysis for Verification of Lossy Channel Systems","volume":"25","author":"Abdulla","year":"2004","journal-title":"FMSD"},{"issue":"1","key":"AbdullaJ\/96\/UndecidableVerificationProblemsForProgramsWithUnreliableChannels","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1006\/inco.1996.0083","article-title":"Undecidable Verification Problems for Programs with Unreliable Channels","volume":"130","author":"Abdulla","year":"1996","journal-title":"Inf. Comput."},{"key":"ChatterjeeDHR\/06\/AlgorithmsForOmegaRegularGamesOfIncompleteInformation","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11874683_19","article-title":"Algorithms for Omega-Regular Games with Imperfect Information","volume-title":"Proc. CSL'06","volume":"4207","author":"Chatterjee","year":"2006"},{"key":"DeWulfDR\/06\/ALatticeTheoryForSolvingGamesOfImperfectInformation","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11730637_14","article-title":"A Lattice Theory for Solving Games of Imperfect Information","volume-title":"Proc. HSCC'06","volume":"3927","author":"De Wulf","year":"2006"},{"issue":"4","key":"Marcone\/01\/FineAnalysisOfTheQuasiOrderingsOnThePowerSet","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1013952225669","article-title":"Fine Analysis of the Quasi-Orderings on the Power Set","volume":"18","author":"Marcone","year":"2001","journal-title":"Order"},{"key":"Milner\/85\/BasicWqoAndBqoTheory","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-94-009-5315-4_14","article-title":"Basic Wqo- and Bqo-Theory","volume-title":"Graphs and order","author":"Milner","year":"1985"},{"key":"Nash-Williams\/65\/OnWellQuasiOrderingInfiniteTrees","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1017\/S0305004100039062","article-title":"On well-quasi ordering infinite trees","volume":"61","author":"Nash-Williams","year":"1965","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"issue":"2","key":"Reif\/84\/TheComplexityOfTwoPlayerGamesOfIncompleteInformation","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","article-title":"The Complexity of Two-Player Games of Incomplete Information","volume":"29","author":"Reif","year":"1984","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T08:05:37Z","timestamp":1362470737000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1303.0790v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":9,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.112.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,1]]}}}