Verimag

bibtex

@inproceedings{BSG+11,
    title = {A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems },
    author = {Bensalem, Saddek and Silva, Lavindra de and Griesmayer, Andreas and Ingrand, Felix and Legay, Axel and Yan, Rongjie},
    year = {2011},
    booktitle = {Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
    pages = {116-132},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6708},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 912774