A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Model-checking behavioral programs
2011
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11
Preserved Fulltext
