Sciweavers

TC
2010

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

13 years 29 days ago
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where TC
Authors Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Comments (0)