Raymond Wu, Jie Lu
ITA Conference 2007
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
M.F. Cowlishaw
IBM Systems Journal
Thomas M. Cheng
IT Professional
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997