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

15 years 6 months ago

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. R

Algorithms | TACAS 1999 |

claim paper

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)