A Technique for Verifying Measurements

Keye Martin, Prakash Panangaden. A Technique for Verifying Measurements. Electronic Notes in Theoretical Computer Science, 218:261-273, 2008. [doi]

Abstract

Abstract is missing.