Shrinking timed automata - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking timed automata. Inf. Comput., 234:107-132, 2014. [doi]

@article{SankurBM14,
  title = {Shrinking timed automata},
  author = {Ocan Sankur and Patricia Bouyer and Nicolas Markey},
  year = {2014},
  doi = {10.1016/j.ic.2014.01.002},
  url = {http://dx.doi.org/10.1016/j.ic.2014.01.002},
  researchr = {https://researchr.org/publication/SankurBM14},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {234},
  pages = {107-132},
}

runs on WebDSL