BibTeX record conf/ifip12/AraujoM04

• > Home > conf/ifip12/AraujoM04

@inproceedings{DBLP:conf/ifip12/AraujoM04,
  author       = {Ricardo Wagner De Ara{\'{u}}jo and
                  Adelardo A. D. Medeiros},
  editor       = {Max Bramer and
                  Vladan Devedzic},
  title        = {Verification of Procedural Reasoning System {(PRS)} Programs Using
                  Coloured Petri Nets {(CPN)}},
  booktitle    = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
                  World Computer Congress, {TC12} First International Conference on
                  Artificial Intelligence Applications and Innovations (AIAI-2004),
                  22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {154},
  pages        = {421--433},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8151-0\_36},
  doi          = {10.1007/1-4020-8151-0\_36},
  timestamp    = {Sun, 21 May 2017 00:18:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip12/AraujoM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}