@Inproceedings{ICFEM12,
   joint-pub = {true},
   status = {public},
   task = {T7.1},
   publisher = {Springer},
   doi = {10.1007/978-3-642-34281-3_7},
   booktitle = {Proc. of the 14th International Conference on Formal EngineeringMethods (ICFEM 2012)},
   series = {LNCS},
   year = {2012},
   isbn = {978-3-642-34280-6},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7635},
   main = {no},
   accessible = {true},
   title = {{Towards a Formal Verification Methodology for Collective RoboticSystems}},
   author = {Edmond Gjondrekaj and Michele Loreti and Rosario Pugliese and Francesco Tiezzi and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari and Marco Dorigo},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UDF,ULB},
   wp = {wp7},
   pages = {54-70}
}