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.

Symbolic Liveness Analysis of Real-World Software

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Volume 10982 of Lecture Notes in Computer Science, pages 447-466, Springer, 2018. [doi]

Authors

Daniel Schemmel

This author has not been identified. Look up 'Daniel Schemmel' in Google

Julian Büning

This author has not been identified. Look up 'Julian Büning' in Google

Oscar Soria Dustmann

This author has not been identified. Look up 'Oscar Soria Dustmann' in Google

Thomas Noll

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

Klaus Wehrle

This author has not been identified. Look up 'Klaus Wehrle' in Google
runs on