External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bounded Verification of Past LTL

Alessandro Cimatti, Marco Roveri, Daniel Sheridan. Bounded Verification of Past LTL. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 245-259, Springer, 2004. [doi]

Authors

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Marco Roveri

Identified as Marco Roveri

Daniel Sheridan

This author has not been identified. Look up 'Daniel Sheridan' in Google
runs on