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.

Automatic refinement checking for formal system models

Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler. Automatic refinement checking for formal system models. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]

Authors

Julia Seiter

This author has not been identified. Look up 'Julia Seiter' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google

Ulrich Kühne

This author has not been identified. Look up 'Ulrich Kühne' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google
runs on