CTL* model checking on a shared-memory architecture
2006 ◽
Vol 29
(2)
◽
pp. 135-155
◽
2002 ◽
Vol 68
(4)
◽
pp. 605-620
◽
2005 ◽
Vol 128
(3)
◽
pp. 107-123
◽
2017 ◽
Vol 59
(1)
◽
pp. 136-160
◽
Keyword(s):
Keyword(s):