bibtex

@inproceedings{BGL+08,
    title = {Incremental Component-Based Construction and Verification of a Robotic System },
    author = {Basu, Ananda and Gallien, Matthieu and Lesire, Charles and Nguyen, Thanh-Hung and Bensalem, Saddek and Ingrand, Felix and Sifakis, Joseph},
    year = {2008},
    booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings},
    pages = {631-635},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {178},
    team = {DCS, RSD},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3885838