S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
Optimization algorithms for energy-efficient data centers
Hendrik F. Hamann
InterPACK 2013
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)