![](https://www.pdfsearch.io/img/da4c6013e3f9ea53a533dc4c90239a86.jpg) Date: 2010-01-07 03:37:15
| | ¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.eduAdd to Reading ListSource URL: www.cs.rice.eduDownload Document from Source Website File Size: 585,08 KBShare Document on Facebook
|