• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Yifei DongXiaoqun DuY. S. RamakrishnaC. R. RamakrishnanI. V. RamakrishnanScott A. SmolkaOleg SokolskyEugene W. StarkDavid Scott Warren
Published in: TACAS (1999)
Keyphrases