AmnellFPSY02'

BibTeX

@article{DBLP:journals/njc/AmnellFPSY02,
  author    = {Tobias Amnell and
               Elena Fersman and
               Paul Pettersson and
               Hongyan Sun and
               Wang Yi},
  title     = {Code Synthesis for Timed Automata},
  journal   = {Nord. J. Comput.},
  volume    = {9},
  number    = {4},
  year      = {2002},
  pages     = {269-300},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}