BibTeX record conf/ecai/BasuGLNBIS08

• > Home > conf/ecai/BasuGLNBIS08

@inproceedings{DBLP:conf/ecai/BasuGLNBIS08,
  author       = {Ananda Basu and
                  Matthieu Gallien and
                  Charles Lesire and
                  Thanh{-}Hung Nguyen and
                  Saddek Bensalem and
                  F{\'{e}}lix Ingrand and
                  Joseph Sifakis},
  editor       = {Malik Ghallab and
                  Constantine D. Spyropoulos and
                  Nikos Fakotakis and
                  Nikolaos M. Avouris},
  title        = {Incremental Component-Based Construction and Verification of a Robotic
                  System},
  booktitle    = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
                  Patras, Greece, July 21-25, 2008, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {178},
  pages        = {631--635},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-891-5-631},
  doi          = {10.3233/978-1-58603-891-5-631},
  timestamp    = {Wed, 24 May 2017 08:27:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BasuGLNBIS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}