Tabled resolution + constraints: a recipe for model checking real-time systems
1994 ◽
Vol 111
(2)
◽
pp. 193-244
◽
Keyword(s):
Keyword(s):
1997 ◽
Vol 19
(2)
◽
pp. 386-412
◽
Keyword(s):