An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
2006 ◽
Vol 159
◽
pp. 171-186
◽
Keyword(s):
2014 ◽
Vol 513-517
◽
pp. 927-930
1995 ◽
Vol 140
(1)
◽
pp. 95-138
◽
2011 ◽
Vol 21
(12)
◽
pp. 1372-1395
◽
2002 ◽
Vol 12
(6)
◽
pp. 875-903
◽
Keyword(s):