BibTeX record conf/apn/Muller84

download as .bib file

@inproceedings{DBLP:conf/apn/Muller84,
  author       = {Horst M{\"{u}}ller},
  editor       = {Grzegorz Rozenberg and
                  Hartmann J. Genrich and
                  G{\'{e}}rard Roucairol},
  title        = {The reachability problem for {VAS}},
  booktitle    = {Advances in Petri Nets 1984, European Workshop on Applications and
                  Theory in Petri Nets, covers the last two years which include the
                  workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
                  papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {188},
  pages        = {376--391},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-15204-0\_21},
  doi          = {10.1007/3-540-15204-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Muller84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}