CITATION STYLE
Lamport, L. (1985). Problems from the workshop on the analysis of concurrent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 207 LNCS, pp. 252–270). Springer Verlag. https://doi.org/10.1007/3-540-16047-7_51
Mendeley helps you to discover research relevant for your work.