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.

Monitoring with verified guarantees

Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer. Monitoring with verified guarantees. STTT, 25(4):593-616, August 2023. [doi]

Authors

Jan Baumeister

This author has not been identified. Look up 'Jan Baumeister' in Google

Johann C. Dauer

This author has not been identified. Look up 'Johann C. Dauer' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Sebastian Schirmer

This author has not been identified. Look up 'Sebastian Schirmer' in Google
runs on