CITATION STYLE
Graf, S., & Sifakis, J. (1985). A Logic for the Specification and Proof of Controllable Processes of CCS. In Logics and Models of Concurrent Systems (pp. 369–395). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_13
Mendeley helps you to discover research relevant for your work.