Sciweavers

TACAS
1999
Springer

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

14 years 4 months ago
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. R
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where TACAS
Authors Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
Comments (0)