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.

Tactical contract composition for hybrid system component verification

Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. Tactical contract composition for hybrid system component verification. STTT, 20(6):615-643, 2018. [doi]

Authors

Andreas Müller 0015

This author has not been identified. Look up 'Andreas Müller 0015' in Google

Stefan Mitsch

This author has not been identified. Look up 'Stefan Mitsch' in Google

Werner Retschitzegger

This author has not been identified. Look up 'Werner Retschitzegger' in Google

Wieland Schwinger

This author has not been identified. Look up 'Wieland Schwinger' in Google

André Platzer

This author has not been identified. Look up 'André Platzer' in Google
runs on