CITATION STYLE
Kröger, F., & Merz, S. (2008). Basic Propositional Linear Temporal Logic. In Temporal Logic and State Systems (pp. 19–64). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68635-4_2
Mendeley helps you to discover research relevant for your work.