Monitoring of temporal first-order properties with aggregations
Basin, David, Klaedtke, Felix, Marinovic, Srdjan, Zălinescu, EugenVolume:
46
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-015-0222-7
Date:
June, 2015
File:
PDF, 780 KB
english, 2015