@Inproceedings{LLM14,
   status = {private},
   task = {T1.1},
   publisher = {Springer},
   doi = {10.1007/978- 3-319-05119-2_17},
   booktitle = {Trustworthy Global Computing, 4th Inter- national Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers},
   series = {LNCS},
   year = {2014},
   isbn = {978-3-319-05118-5},
   invited = {no},
   volume = {8358},
   main = {no},
   title = {{On-the-fly Fast Mean-Field Model-Checking}},
   editor = {Martin Abadi and Alberto Lluch-Lafuente},
   author = {Diego Latella and Michele Loreti and Mieke Massink},
   period = {year4},
   partner = {ISTI},
   wp = {wp1,wp2},
   pages = {297–314}
}