Items where Author is "Birattari, Mauro"

Group by: Creators | Item Type | Date | No Grouping

Number of items: 1.

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012)

This list was generated on Sat Nov 16 00:21:27 2024 CET.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.