Ellman03'

BibTeX

@inproceedings{DBLP:conf/kbse/Ellman03,
  author    = {Thomas Ellman},
  title     = {Specification and Synthesis of Hybrid Automata for Physics-Based
               Animation},
  booktitle = {ASE},
  year      = {2003},
  pages     = {80-93},
  ee        = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350080abs.htm},
  crossref  = {DBLP:conf/kbse/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kbse/2003,
  title     = {18th IEEE International Conference on Automated Software
               Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
  booktitle = {ASE},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-2035-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}