DBLP Record 'conf/icinco/Cheng04'

BibTeX

@inproceedings{DBLP:conf/icinco/Cheng04,
  author    = {Albert Mo Kim Cheng},
  title     = {What's Real in "Real-Time Control Systems"? - Applying Formal
               Verification Methods and Real-Time Rule-Based Systems to
               Control Systems and Robotics},
  booktitle = {ICINCO (Invited Speakers)},
  year      = {2004},
  pages     = {23-27},
  crossref  = {DBLP:conf/icinco/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icinco/2004,
  editor    = {Helder Ara{\'u}jo and
               Alves Vieira and
               Jos{\'e} Braz and
               Bruno Encarna\c{c}{\~a}o and
               Marina Carvalho},
  title     = {ICINCO 2004, Proceedings of the First International Conference
               on Informatics in Control, Automation and Robotics, Set{\'u}bal,
               Portugal, August 25-28, 2004},
  booktitle = {ICINCO},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-12-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}