MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Fighting Livelock in the i-Protocol A Comparative Study of Verification Tools." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
by Yifei Dong Xiaoqun, Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, David S. Warren — 1999
…Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools ? Yifei Dong…
Add To MetaCart

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
by Yifei Dong, Xiaoqun Du, C.R. Ramakrishnan, C. R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David S. Warren — 1999 — In TACAS'99, LNCS
…Fighting Livelock in the i-Protocol: A Comparative Study of Veri cation Tools ? Yifei Dong…
Cited by 17 (4 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB