Checking interval properties of computations

From MaRDI portal
Publication:329413

DOI10.1007/s00236-015-0250-1zbMath1350.68184arXiv1601.03195OpenAlexW2952938415MaRDI QIDQ329413

Giuseppe Perelli, Angelo Montanari, Aniello Murano, Adriano Peron, Alberto Molinari

Publication date: 21 October 2016

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.03195




Related Items (19)



Cites Work


This page was built for publication: Checking interval properties of computations