Formal verification of the Encore Gigamax cache consistency protocols (bibtex)

by K. L. McMillan and J. Schwalbe

Reference:

Formal verification of the Encore Gigamax cache consistency protocols (K. L. McMillan and J. Schwalbe), In International Symposium on Shared Memory Multiprocessors, 1991.

Bibtex Entry:

@inproceedings{McMillanSchwalbeFormalVerification1991,
  author    = {K. L. McMillan and J. Schwalbe},
  title     = {Formal verification of the Encore Gigamax cache consistency protocols},
  booktitle = {International Symposium on Shared Memory Multiprocessors},
  year      = "1991",
  pages     = "242--51",
  url       = {ISSMM91.pdf}
}