No authors of 0805.4167 can endorse.
Environment Assumptions for Synthesis
Krishnendu Chatterjee: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Thomas A. Henzinger and Barbara Jobstmann are not registered as owners of this paper. (why?)