Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014