Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Carina Pilch. Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables. PhD thesis, University of Münster, Germany, 2021. [doi]

@phdthesis{dnb-25022,
  title = {Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables},
  author = {Carina Pilch},
  year = {2021},
  url = {https://d-nb.info/1246786974},
  researchr = {https://researchr.org/publication/dnb-25022},
  cites = {0},
  citedby = {0},
  school = {University of Münster, Germany},
}

runs on WebDSL