January 1, 2011· Lecture Notes in Computer Science
book-chapter
Distributed Theorem Proving for Distributed Hybrid Systems
Authors:David W. RenshawSarah M. LoosAndré Platzer
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.