Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Related
Conference paper
Strong and flexible domain typing for dynamic E-business
Yigal Hoffner, Simon Field, et al.
EDOC 2004
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009