Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka. Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT, 4(4):505-528, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.