@phdthesis{Amstein2019,
  author      = {Leonie Katharina Amstein},
  title       = {Method development and application in computational systems biology: the concept of Manatee invariants to study the TNFR1 signaling pathway in the Petri net formalism},
  type        = {doctoralthesis},
  pages       = {XIX, 173},
  school      = {Universit{\"a}tsbibliothek Johann Christian Senckenberg},
  year        = {2019},
}