PT Journal
AU Mancini, T
   Mari, F
   Massini, A
   Melatti, I
   Salvo, I
   Tronci, E
TI On minimising the maximum expected verification time
SO Information Processing Letters
PY 2017
DI 10.1016/j.ipl.2017.02.001
ER