Byron Cook, Heidy Khlaaf, Nir Piterman. Faster temporal reasoning for infinite-state programs. In Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014. pages 75-82, IEEE, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.