OliveiraAS07'

BibTeX

@inproceedings{DBLP:conf/sac/OliveiraAS07,
  author    = {Elthon A. S. Oliveira and
               Hyggo Oliveira de Almeida and
               Leandro Dias da Silva},
  title     = {Formal modelling and verification of a component model using
               coloured petri nets and model checking},
  booktitle = {SAC},
  year      = {2007},
  pages     = {1427-1431},
  ee        = {http://doi.acm.org/10.1145/1244002.1244309},
  crossref  = {DBLP:conf/sac/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sac/2007,
  editor    = {Yookun Cho and
               Roger L. Wainwright and
               Hisham Haddad and
               Sung Y. Shin and
               Yong Wan Koo},
  title     = {Proceedings of the 2007 ACM Symposium on Applied Computing
               (SAC), Seoul, Korea, March 11-15, 2007},
  booktitle = {SAC},
  publisher = {ACM},
  year      = {2007},
  isbn      = {1-59593-480-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}