Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Paper
The date refinement calculator for Z specifications
Related
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Conference paper
Low-Resource Speech Recognition of 500-Word Vocabularies
Sabine Deligne, Ellen Eide, et al.
INTERSPEECH - Eurospeech 2001
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science