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.

10271 Abstracts Collection - Verification over discrete-continuous boundaries

Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar. 10271 Abstracts Collection - Verification over discrete-continuous boundaries. In Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar, editors, Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Authors

Bernd Becker

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

Luca Cardelli

This author has not been identified. It may be one of the following persons: Look up 'Luca Cardelli' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google
runs on