Monitoring of Temporal First-Order Properties with Aggregations
2013 ◽
pp. 40-58
◽
Keyword(s):
Keyword(s):
1992 ◽
Vol 50
(1)
◽
pp. 384-385
1991 ◽
Vol 3
(1)
◽
pp. 235-253
◽
Keyword(s):
Keyword(s):
Keyword(s):
1997 ◽
Vol 36
(04/05)
◽
pp. 315-318
◽