@inproceedings{TACAS-1999-DongDRRRSSSW,
	author        = "Yifei Dong and Xiaoqun Du and Y. S. Ramakrishna and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and Oleg Sokolsky and Eugene W. Stark and David Scott Warren",
	booktitle     = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/3-540-49059-0_6",
	isbn          = "3-540-65703-7",
	pages         = "74--88",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools}",
	volume        = 1579,
	year          = 1999,
}