Fulvio Corno, Muhammad Sanaullah. Formal Verification of Device State Chart Models. In 7th International Conference on Intelligent Environments, IE 2011, Nottingham, United Kingdom, July 25-28, 2011. pages 66-73, IEEE, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.