Autor/in Basin, David Caronni, Germano 1 Ereth, Sarah 1 Harvan, Matúš 1 Klaedtke, Felix Christopher 1 Mantel, Heiko 1 alle zeigenListe einklappen
Scalable offline monitoring of temporal specifications Basin, David Caronni, Germano Ereth, Sarah Harvan, Matúš Klaedtke, Felix Christopher Mantel, Heiko 2016 - TUHH Open Research