Characteristic formulae for timed automata. Aceto, L., Ingólfsdóttir, A., Lykke Pedersen, M., & Poulsen, J. ITA, 34(6):565-584, 2000.
Characteristic formulae for timed automata [link]Paper  bibtex   
@article{ dblp4380026,
  title = {Characteristic formulae for timed automata},
  author = {Luca Aceto and Anna Ingólfsdóttir and Mikkel Lykke Pedersen and Jan Poulsen},
  author_short = {Aceto, L. and Ingólfsdóttir, A. and Lykke Pedersen, M. and Poulsen, J.},
  bibtype = {article},
  type = {article},
  year = {2000},
  key = {dblp4380026},
  id = {dblp4380026},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ita/AcetoIPP00},
  url = {http://dx.doi.org/10.1051/ita:2000131},
  journal = {ITA},
  pages = {565-584},
  number = {6},
  volume = {34},
  text = {ITA 34(6):565-584 (2000)}
}

Downloads: 0