On minimising the maximum expected verification time
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
- 期刊名称Information Processing Letters
- 作者Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
- 卷第122卷
- 印刷ISSN0020-0190
- 文件大小396.36KB
- 发表时间2017-06
- DOI10.1016/j.ipl.2017.02.001
- 页码8-16