DBLP BibTeX Record 'conf/icete/CacoveanPPB08'

@inproceedings{DBLP:conf/icete/CacoveanPPB08,
  author    = {Laura Florentina Cacovean and
               Iulian Pah and
               Emil Marin Popa and
               Cristina Ioana Brumar},
  title     = {Algorithm and an Elevator Control System Example for CTL
               Model Update},
  booktitle = {ICE-B},
  year      = {2008},
  pages     = {77-80},
  crossref  = {DBLP:conf/icete/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icete/2008,
  editor    = {Joaquim Filipe and
               David A. Marca and
               Boris Shishkov and
               Marten van Sinderen},
  title     = {ICE-B 2008 - Proceedings of the International Conference
               on e-Business, Porto, Portugal, July 26-29, 2008, ICE-B
               is part of ICETE - The International Joint Conference on
               e-Business and Telecommunications},
  booktitle = {ICE-B},
  publisher = {INSTICC Press},
  year      = {2008},
  isbn      = {978-989-8111-58-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}