%0 Journal Article %T On minimising the maximum expected verification time %A Mancini, T. %A Mari, F. %A Massini, A. %A Melatti, I. %A Salvo, I. %A Tronci, E. %J Information Processing Letters %D 2017 %F Mancini_etal2017 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=163), last updated on Thu, 27 Apr 2017 11:34:30 +0200 %R 10.1016/j.ipl.2017.02.001 %U http://mclab.di.uniroma1.it/publications/papers/mancini/2017/163_Mancini_etal2017.pdf %U https://doi.org/10.1016/j.ipl.2017.02.001