CITATION STYLE
Stirling, C. (1991). An introduction to modal and temporal logics for CCS (pp. 1–20). https://doi.org/10.1007/3-540-53932-8_41
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley