Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
2018 ◽
Vol 259
◽
pp. 412-443
◽
2010 ◽
Vol 5
(10)
◽
pp. 149-158
2016 ◽
pp. 389-405
◽
Keyword(s):
2012 ◽
Vol 198-199
◽
pp. 889-893
Keyword(s):
2014 ◽
Vol 680
◽
pp. 451-454
Keyword(s):
Keyword(s):
2018 ◽
Vol 262
◽
pp. 241-264
◽
Keyword(s):