@inproceedings{DDR99,
	author = "Y. Dong and X. Du and Y. S.~Ramakrishna and
			C. R.~Ramakrishnan and I.V.~Ramakrishnan and
			S. A.~Smolka and O. Sokolsky and E. W.~Stark and
			D. S.~Warren",
	title = "Fighting Livelock in the i-{Protocol}: A Comparative Study of
			Verification Tools",
	crossref = "TACAS99"
}

@proceedings{TACAS99,
        title = "Tools and Algorithms for the Construction and Analysis of
                  Algorithms (TACAS '99)",
        booktitle = "Tools and Algorithms for the Construction and Analysis of
                  Algorithms (TACAS '99)",
        year = "1999",
	series = LNCS,
	editor = "R. Cleaveland",
        publisher = "Springer-Verlag",
        address = "Amsterdam",
        month = mar
}