TY  - JOUR
AU  - Mancini, T.
AU  - Mari, F.
AU  - Massini, A.
AU  - Melatti, I.
AU  - Salvo, I.
AU  - Tronci, E.
PY  - 2017
DA  - 2017//
TI  - On minimising the maximum expected verification time
JO  - Information Processing Letters
L1  - http://mclab.di.uniroma1.it/publications/papers/mancini/2017/163_Mancini_etal2017.pdf
UR  - https://doi.org/10.1016/j.ipl.2017.02.001
DO  - 10.1016/j.ipl.2017.02.001
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=163), last updated on Thu, 27 Apr 2017 11:34:30 +0200
ID  - Mancini_etal2017
ER  -