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.

Type-Based Verification of Delegated Control in Hybrid Systems

Eduard Kamburjan, Michael Lienhardt. Type-Based Verification of Delegated Control in Hybrid Systems. In Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, editors, Active Object Languages: Current Research Trends. Volume 14360 of Lecture Notes in Computer Science, pages 323-358, Springer, 2024. [doi]

Authors

Eduard Kamburjan

This author has not been identified. Look up 'Eduard Kamburjan' in Google

Michael Lienhardt

This author has not been identified. Look up 'Michael Lienhardt' in Google
runs on