DBLP Record 'conf/wlp/UrbinaR95'

BibTeX

@inproceedings{DBLP:conf/wlp/UrbinaR95,
  author    = {Luis Urbina and
               G{\"u}nter Riedewald},
  title     = {A Framework for Symbolic Simulation of Hybrid Systems in
               Constraint Logic Programming},
  booktitle = {WLP},
  year      = {1995},
  pages     = {29-38},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}