BibTeX record phd/dnb/Riemann99

download as .bib file

@phdthesis{DBLP:phd/dnb/Riemann99,
  author       = {Robert{-}C. Riemann},
  title        = {Modelling of concurrent systems: structural and semantical methods
                  in the high level Petri net calculus},
  school       = {University of Hildesheim, Germany},
  year         = {1999},
  url          = {https://d-nb.info/957537255},
  isbn         = {978-3-89675-629-9},
  timestamp    = {Sat, 17 Jul 2021 09:03:10 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Riemann99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics