CITATION STYLE
Olderog, E.-R., & Meyer, R. (2009). Automata-Theoretic Verification based on Counterexample Specifications. In Informatik als Dialog zwischen Theorie und Anwendung (pp. 217–225). Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9982-8_18
Mendeley helps you to discover research relevant for your work.