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