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.

Scalable Online First-Order Monitoring

Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel. Scalable Online First-Order Monitoring. In Christian Colombo, Martin Leucker, editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Volume 11237 of Lecture Notes in Computer Science, pages 353-371, Springer, 2018. [doi]

Authors

Joshua Schneider 0001

This author has not been identified. Look up 'Joshua Schneider 0001' in Google

David A. Basin

This author has not been identified. Look up 'David A. Basin' in Google

Frederik Brix

This author has not been identified. Look up 'Frederik Brix' in Google

Srdan Krstic

This author has not been identified. Look up 'Srdan Krstic' in Google

Dmitriy Traytel

This author has not been identified. Look up 'Dmitriy Traytel' in Google
runs on