B
Bauer
Publications - 1
Citations - 15
Bauer is an academic researcher. The author has contributed to research in topics: Formal verification & Computability. The author has an hindex of 1, co-authored 1 publications receiving 15 citations.
Papers
More filters
Proceedings ArticleDOI
Tool-support for the analysis of hybrid systems and models
Bauer,Pister,Tautschnig +2 more