Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva. Formal modelling and verification of a component model using coloured petri nets and model checking. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1427-1431, ACM, 2007. [doi]
Abstract is missing.