DBLP Record 'conf/icinco/PennaMTIMT06'

BibTeX

@inproceedings{DBLP:conf/icinco/PennaMTIMT06,
  author    = {Giuseppe Della Penna and
               Daniele Magazzeni and
               Alberto Tofani and
               Benedetto Intrigila and
               Igor Melatti and
               Enrico Tronci},
  title     = {Automatic generation of optimal controllers through model
               checking techniques},
  booktitle = {ICINCO-ICSO},
  year      = {2006},
  pages     = {26-33},
  crossref  = {DBLP:conf/icinco/2006icso},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icinco/2006icso,
  editor    = {Juan Andrade-Cetto and
               Jean-Louis Ferrier and
               Jos{\'e} Dias Pereira and
               Joaquim Filipe},
  title     = {ICINCO 2006, Proceedings of the Third International Conference
               on Informatics in Control, Automation and Robotics, Intelligent
               Control Systems and Optimization, Set{\'u}bal, Portugal,
               August 1-5, 2006},
  booktitle = {ICINCO-ICSO},
  publisher = {INSTICC Press},
  year      = {2006},
  isbn      = {972-8865-59-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}