Model Analysis via a Translation Schema to Coloured Petri Nets (bibtex)
by Visar Januzaj, Stefan Kugele
Reference:
Model Analysis via a Translation Schema to Coloured Petri NetsVisar Januzaj, Stefan KugeleProceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09 (D. Moldt, ed.), pages 273-292, June 2009.
Bibtex Entry:
@inproceedings{januzaj:kugele:pnse09,
  author = {Visar Januzaj and Stefan Kugele},
  title = {Model Analysis via a Translation Schema to Coloured Petri Nets},
  month = {June},
  year = {2009},
  address = {Paris, France},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09},
  editor = {D. Moldt},
  pages = {273-292}
}
Powered by bibtexbrowser