![](https://www.pdfsearch.io/img/f5453327ae0e6687bd56ddb0eb98f382.jpg) Date: 2012-11-26 20:31:33
| | Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The translAdd to Reading ListSource URL: www.cs.rice.eduDownload Document from Source Website File Size: 196,29 KBShare Document on Facebook
|