Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron. Checking interval properties of computations. Acta Informatica, 53(6-8):587-619, 2016. [doi]
@article{MolinariMMPP16,
title = {Checking interval properties of computations},
author = {Alberto Molinari and Angelo Montanari and Aniello Murano and Giuseppe Perelli and Adriano Peron},
year = {2016},
doi = {10.1007/s00236-015-0250-1},
url = {http://dx.doi.org/10.1007/s00236-015-0250-1},
researchr = {https://researchr.org/publication/MolinariMMPP16},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {587-619},
}