CITATION STYLE
Höfner, P. (2008). Automated Reasoning for Hybrid Systems — Two Case Studies —. In Relations and Kleene Algebra in Computer Science (pp. 191–205). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-78913-0_15
Mendeley helps you to discover research relevant for your work.