



[Baue07]
K. Bauer
On the Use of Gröbner Bases and Algebraic Methods for the Analysis of Hybrid Automata
Project Thesis





[Baue07a]
K. Bauer
Threevalued $\mu$Calculus on Hybrid Automata
Diploma Thesis





[GeSD07a]
R. Gentilini and K. Schneider and A. Dreyer
Combining Interval Arithmetic and ThreeValued Temporal Logics for the Verification of Analog Systems
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)





[GeSD07b]
R. Gentilini and K. Schneider and A. Dreyer
ThreeValued Automated Reasoning on Analog Properties
Great Lakes Symposium on VLSI (GLSVLSI)





[GeSM07]
R. Gentilini and K. Schneider and B. Mishra
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
Logical Foundations of Computer Science (LFCS)
