CITATION STYLE
Olderog, E.-R., & Apt, K. R. (1991). Using transformations to verify parallel programs (pp. 55–81). https://doi.org/10.1007/3-540-53912-3_18
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley