@article{joshi2003checking,
author = {Joshi, Rajeev and Lamport, Leslie and Matthews, John and Tasiran, Serdar and Tuttle, Mark and Yu, Yuan},
title = {Checking Cache-Coherence Protocols with TLA+},
year = {2003},
month = {March},
abstract = {Yet another report on the TLA+ verification activity at Compaq. It mentions some work that's been done since we wrote [140].},
publisher = {Kluwer Academic},
url = {http://approjects.co.za/?big=en-us/research/publication/checking-cache-coherence-protocols-with-tla/},
pages = {125-131},
journal = {Journal of Formal Methods in System Design},
volume = {22},
}