A model checking framework for hierarchical systems

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
The user has requested enhancement of the downloaded file.
doi:10.1109/ase.2011.6100143 dblp:conf/kbse/NguyenSLD11 fatcat:ixrgmmbqsrasfmtjyer4o57ofu