Characteristic formulae for timed automata. Aceto, L., Ingólfsdóttir, A., Pedersen, M. L., & Poulsen, J. ITA, 34(6):565–584, 2000.
Characteristic formulae for timed automata [link]Paper  doi  bibtex   
@article{DBLP:journals/ita/AcetoIPP00,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Mikkel Lykke Pedersen and
               Jan Poulsen},
  title     = {Characteristic formulae for timed automata},
  journal   = {{ITA}},
  volume    = {34},
  number    = {6},
  pages     = {565--584},
  year      = {2000},
  url       = {https://doi.org/10.1051/ita:2000131},
  doi       = {10.1051/ita:2000131},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ita/AcetoIPP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0