Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Fan Zhang, Junwei Cao, et al.
IEEE TETC
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev