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]
@inproceedings{OliveiraAS07,
title = {Formal modelling and verification of a component model using coloured petri nets and model checking},
author = {Elthon A. S. Oliveira and Hyggo Oliveira de Almeida and Leandro Dias da Silva},
year = {2007},
doi = {10.1145/1244002.1244309},
url = {http://doi.acm.org/10.1145/1244002.1244309},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/OliveiraAS07},
cites = {0},
citedby = {0},
pages = {1427-1431},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
publisher = {ACM},
isbn = {1-59593-480-4},
}