Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012
Paper
The date refinement calculator for Z specifications
Related
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Preeti Malakar, Thomas George, et al.
SC 2012