@Inproceedings{Ma+12a,
   joint-pub = {true},
   status = {private},
   task = {T7.1,T1.1},
   publisher = {Springer},
   month = {September},
   doi = {10.1007/978-3-642-32650-9_3},
   booktitle = {Swarm Intelligence - 8th International Conference, ANTS 2012},
   address = {Brussels, Belgium},
   series = {LNCS},
   year = {2012},
   isbn = {978-3-642-32649-3},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7461},
   main = {no},
   accessible = {true},
   issn = {0302-9743},
   title = {{Analysing Robot Swarm Decision-Making with Bio-PEPA}},
   editor = {Marco Dorigo and Mauro Birattari and Christian Blum and Anders Lyhne Christensen and Andries Petrus Engelbrecht and Roderich Gro{\ss} and Thomas St{\"u}tzle},
   author = {Mieke Massink and Manuele Brambilla and Diego Latella and Marco Dorigo and Mauro Birattari},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {ISTI, ULB},
   wp = {wp7,wp1},
   pages = {25-36}
}