Back to Results
First PageMeta Content



A Efficient and Dynamic Algorithms for Alternating Buchi ¨ Games and Maximal End-component Decomposition Krishnendu Chatterjee, IST Austria (Institute of Science and Technology Austria)
Add to Reading List

Document Date: 2013-11-28 07:38:56


Open Document

File Size: 385,30 KB

Share Result on Facebook