Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Zohar Feldman, Avishai Mandelbaum
WSC 2010