CITATION STYLE
Qadeer, S., & Shankar, N. (1998). Verifying a Self-Stabilizing Mutual Exclusion Algorithm. In Programming Concepts and Methods PROCOMET ’98 (pp. 424–443). Springer US. https://doi.org/10.1007/978-0-387-35358-6_27
Mendeley helps you to discover research relevant for your work.