@Inproceedings{LLMICA14,
   status = {public},
   link = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2014.6.pdf},
   task = {T1.1},
   publisher = {EPTCS},
   doi = {10.4204/EPTCS.166.6},
   booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014},
   series = {EPTCS},
   year = {2014},
   invited = {no},
   volume = {166},
   main = {no},
   issn = {2075-2180},
   title = {{On-the-fly Probabilistic Model Checking}},
   editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira},
   author = {Diego Latella and Michele Loreti and Mieke Massink},
   period = {year4},
   partner = {UNIFI, ISTI},
   wp = {wp1},
   pages = {45 -- 59}
}