Deterministic compilation
Results: 1
# | Item |
---|---|
1 | 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.eduLanguage: English - Date: 2012-11-26 20:31:33 |