Enhanced Vacuity Detection in Linear Temporal Logic. Armoni, R., Fix, L., Flaisher, A., Grumberg, O., Piterman, N., Tiemeyer, A., & Vardi, M. In 15th International Conference on Computer Aided Verification, volume 2725, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 368-380, Boulder, CO, USA, July, 2003. &copy; Springer-Verlag.
Enhanced Vacuity Detection in Linear Temporal Logic [pdf]Paper  bibtex   

Downloads: 0