BibTeX record reference/crc/SunLD12

download as .bib file

@incollection{DBLP:reference/crc/SunLD12,
  author       = {Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Jiacun Wang},
  title        = {Timed Automata},
  booktitle    = {Handbook of Finite State Based Models and Applications},
  pages        = {87--111},
  publisher    = {Chapman and Hall/CRC},
  year         = {2012},
  url          = {https://doi.org/10.1201/b13055-6},
  doi          = {10.1201/B13055-6},
  timestamp    = {Tue, 22 Aug 2017 11:09:37 +0200},
  biburl       = {https://dblp.org/rec/reference/crc/SunLD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}