BibTeX records: Leif O. Jepsen

• > Home > Persons > Leif O. Jepsen

@article{DBLP:journals/tcs/HuberJJJ86,
  author       = {Peter Huber and
                  Arne M. Jensen and
                  Leif O. Jepsen and
                  Kurt Jensen},
  title        = {Reachability Trees for High-level Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {3},
  pages        = {261--292},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90046-0},
  doi          = {10.1016/0304-3975(86)90046-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HuberJJJ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/HuberJJJ84,
  author       = {Peter Huber and
                  Arne M. Jensen and
                  Leif O. Jepsen and
                  Kurt Jensen},
  editor       = {Grzegorz Rozenberg and
                  Hartmann J. Genrich and
                  G{\'{e}}rard Roucairol},
  title        = {Towards reachability trees for high-level Petri nets},
  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        = {215--233},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-15204-0\_13},
  doi          = {10.1007/3-540-15204-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HuberJJJ84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}