A polynomial-time algorithm for checking consistency of free-choice signal transition graphs
Keyword(s):
1992 ◽
Vol 102
(1)
◽
pp. 185-205
◽
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 61
(1)
◽
pp. 51-78
◽