CITATION STYLE
De Boer, F. S., & De Roever, W. P. (1998). Compositional proof methods for concurrency: A semantic approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1536, pp. 632–646). Springer Verlag. https://doi.org/10.1007/3-540-49213-5_25
Mendeley helps you to discover research relevant for your work.