Elliot Linzer, M. Vetterli
Computing
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Lixi Zhou, Jiaqing Chen, et al.
VLDB