No authors of 0904.2638 can endorse.
Better Quality in Synthesis through Quantitative Objectives
| Krishnendu Chatterjee: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Roderick Bloem, Thomas A. Henzinger and Barbara Jobstmann are not registered as owners of this paper. (why?)