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.

Combining Verifiers in Conditional Model Checking via Reducers

Dirk Beyer 0001, Marie-Christine Jakobs, Thomas Lemberger 0002, Heike Wehrheim. Combining Verifiers in Conditional Model Checking via Reducers. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 151-152, GI, 2019. [doi]

Authors

Dirk Beyer 0001

This author has not been identified. Look up 'Dirk Beyer 0001' in Google

Marie-Christine Jakobs

This author has not been identified. Look up 'Marie-Christine Jakobs' in Google

Thomas Lemberger 0002

This author has not been identified. Look up 'Thomas Lemberger 0002' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on