Permissive strategies in timed automata and games - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Patricia Bouyer, Erwin Fang, Nicolas Markey. Permissive strategies in timed automata and games. ECEASST, 72, 2015. [doi]

@article{BouyerFM15,
  title = {Permissive strategies in timed automata and games},
  author = {Patricia Bouyer and Erwin Fang and Nicolas Markey},
  year = {2015},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1015},
  researchr = {https://researchr.org/publication/BouyerFM15},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {72},
}

runs on WebDSL