bibtex

@article{BCM+5,
    title = {Formal Methods for Mobile Robots : Current Results and Open Problems },
    author = {B\'erard, B\'eatrice and Courtieu, Pierre and Millet, Laure and Potop-Butucaru, Maria and Rieg, Lionel and Sznajder, Nathalie and Tixeuil, S\'ebastien and Urbain, Xavier},
    year = {2015},
    journal = {International Journal of Information Society},
    number = {3},
    pages = {101--114},
    volume = {7},
    team = {Coll\`ege de France, Other},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4086042