@Article{Mancini_etal2017, author="Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Salvo, I. and Tronci, E.", title="On minimising the maximum expected verification time", journal="Information Processing Letters", year="2017", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=163), last updated on Thu, 27 Apr 2017 11:34:30 +0200", doi="10.1016/j.ipl.2017.02.001", opturl="https://doi.org/10.1016/j.ipl.2017.02.001", file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2017/163_Mancini_etal2017.pdf:PDF" }