-
1
Survey on mining signal temporal logic specifications
Veröffentlicht in Information and computation
VolltextArtikel -
2
-
3
Mining Hyperproperties using Temporal Logics
Veröffentlicht in ACM transactions on embedded computing systems
VolltextArtikel -
4
-
5
-
6
-
7