CITATION STYLE
Akhiani, H., Doligez, D., Harter, P., Lamport, L., Scheid, J., Tuttle, M., & Yu, Y. (1999). Cache coherence verification with TLA+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, p. 1871). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_62
Mendeley helps you to discover research relevant for your work.