CITATION STYLE
Clarke, E. M., Browne, M. C., Emerson, E. A., & Sistla, A. P. (1985). Using Temporal Logic for Automatic Verification of Finite State Systems. In Logics and Models of Concurrent Systems (pp. 3–26). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_1
Mendeley helps you to discover research relevant for your work.