Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Related
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009