From First-order Temporal Logic to Parametric Trace Slicing
2015 ◽
pp. 216-232
◽
Keyword(s):
1987 ◽
Vol 54
(2-3)
◽
pp. 199-214
◽
1997 ◽
pp. 241-254
◽
1992 ◽
Vol 03
(03)
◽
pp. 233-244
◽
Keyword(s):