Discretising and testing timed contextual models

Adilson Luiz Bonifácio, Arnaldo Vieira Moura. Discretising and testing timed contextual models. IJCAT, 54(2):121-137, 2016. [doi]

Abstract

Abstract is missing.