Fan Zhang, Junwei Cao, et al.
IEEE TETC
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997