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.

NuRV: A nuXmv Extension for Runtime Verification

Alessandro Cimatti, Chun Tian, Stefano Tonetta. NuRV: A nuXmv Extension for Runtime Verification. In Bernd Finkbeiner, Leonardo Mariani, editors, Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11757 of Lecture Notes in Computer Science, pages 382-392, Springer, 2019. [doi]

Authors

Alessandro Cimatti

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

Chun Tian

This author has not been identified. Look up 'Chun Tian' in Google

Stefano Tonetta

This author has not been identified. Look up 'Stefano Tonetta' in Google
runs on