G. Ramalingam
Theoretical Computer Science
Paper
The date refinement calculator for Z specifications
Related
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Conference paper
Association control in mobile wireless networks
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010