Preserving liveness: Comments on "safety and liveness from a methodological point of view"

Renu Tewari, Richard P. King, et al.

IS&T/SPIE Electronic Imaging 1996

Charles H. Bennett, Aram W. Harrow, et al.

IEEE Trans. Inf. Theory

Lerong Cheng, Jinjun Xiong, et al.

ASP-DAC 2008

M.J. Slattery, Joan L. Mitchell

IBM J. Res. Dev