BibTeX record conf/pnpm/LimeR03

download as .bib file

@inproceedings{DBLP:conf/pnpm/LimeR03,
  author       = {Didier Lime and
                  Olivier H. Roux},
  title        = {State class timed automaton of a time Petri net},
  booktitle    = {Proceedings of the 10th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
  pages        = {124--133},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/PNPM.2003.1231549},
  doi          = {10.1109/PNPM.2003.1231549},
  timestamp    = {Fri, 24 Mar 2023 00:03:19 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/LimeR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics