A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A model checking framework for hierarchical systems
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