DMCA

Relative Liveness: From Intuition to Automated Verification

by R. Negulescu , J. A. Brzozowski
Citations:3 - 1 self