spin model checker
Recently Published Documents
TOTAL DOCUMENTS
43
(FIVE YEARS 4)
H-INDEX
8
(FIVE YEARS 0)
2020 ◽
Vol 12
(3)
◽
pp. 60-84
Keyword(s):
Keyword(s):
2017 ◽
Vol 27
(09n10)
◽
pp. 1455-1481
◽
Keyword(s):
2017 ◽
Vol 8
(2)
◽
pp. 1-23