@Inproceedings{ABDN11,
   status = {public},
   task = {T1.1,T2.1},
   publisher = {Springer Berlin / Heidelberg},
   month = {June},
   doi = {10.1007/978-3-642-21461-5_2978-3-642-21460-8},
   booktitle = {Formal Techniques for Distributed Systems},
   joint-pub = {true},
   series = {LNCS},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {6722},
   main = {no},
   title = {{Linear-Time and May-Testing in a Probabilistic Reactive Setting}},
   editor = {Roberto Bruni and Juergen Dingel},
   author = {Lucia Acciai and Michele Boreale and Rocco De Nicola},
   period = {year1},
   owner = {kroiss},
   accessible = {true},
   partner = {UDF,IMT},
   ascens_ref = {true},
   wp = {WP1,WP2},
   pages = {29-43}
}