CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year Technical Reports
By Class By Topic By Year Technical Reports
login
E. Gjondrekaj, M. Loreti, R. Pugliese, F. Tiezzi, C. Pinciroli, M. Brambilla, M. Birattari, and M. Dorigo. Towards a Formal Verification Methodology for Collective Robotic Systems. In Formal Methods and Software Engineering, Proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, volume 7635 of Lecture Notes in Computer Science, pages 54-70, Berlin, Germany, 2012. Springer.
© Springer 2012

@inproceedings{GjoLorPug-etal2012:icfem,
  author = {E. Gjondrekaj and M. Loreti and R. Pugliese and F. Tiezzi
            and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari
            and Marco Dorigo},
  title = {Towards a Formal Verification Methodology for Collective
           Robotic Systems},
  year = {2012},
  booktitle = {Formal Methods and Software Engineering, Proceedings
               of the 14th International Conference on Formal Engineering
               Methods, ICFEM 2012},
  volume = {7635},
  series = {Lecture Notes in Computer Science},
  pages = {54--70},
  address = {Berlin, Germany},
  publisher = {Springer}
}

Updated: 2017-03-27