Extended Temporal Logic Revisited. Kupferman, O., Piterman, N., & Vardi, M. In 12th International conference on Concurrency theory, volume 2154, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 519-535, Aalborg, Denmark, August, 2001. &copy; Springer-Verlag.
Extended Temporal Logic Revisited [pdf]Paper  bibtex   

Downloads: 0