BibTeX record conf/apn/Frutos-EscrigRA00

• > Home > conf/apn/Frutos-EscrigRA00

@inproceedings{DBLP:conf/apn/Frutos-EscrigRA00,
  author       = {David de Frutos{-}Escrig and
                  Valent{\'{\i}}n Valero Ruiz and
                  Olga Marroqu{\'{\i}}n Alonso},
  editor       = {Mogens Nielsen and
                  Dan Simpson},
  title        = {Decidability of Properties of Timed-Arc Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2000, 21st International Conference,
                  {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series       = {Lecture Notes in Computer Science},
  volume       = {1825},
  pages        = {187--206},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44988-4\_12},
  doi          = {10.1007/3-540-44988-4\_12},
  timestamp    = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Frutos-EscrigRA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}