An Extension of the Inverse Method to Probabilistic Timed Automata - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Étienne André, Laurent Fribourg, Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. ECEASST, 23, 2009. [doi]

@article{AndreFS09,
  title = {An Extension of the Inverse Method to Probabilistic Timed Automata},
  author = {Étienne André and Laurent Fribourg and Jeremy Sproston},
  year = {2009},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/306},
  researchr = {https://researchr.org/publication/AndreFS09},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {23},
}

runs on WebDSL