@PhdThesis{PTrowitzsch2007,
  author       = {Jan Trowitzsch},
  title        = {Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets},
  year         = {2007},
  type = {PhDReview},
  file         = {PhDReviewed/Trowitzsch2007 - Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets.pdf:PDF},
  location  = {Fakult{\"a}t IV - Elektrotechnik und Informatik, Technische Universit{\"a}t Berlin}
}