A Comparative Analysis of Five Rule-Based Model Checking Platforms
Keyword(s):
2005 ◽
Vol 17
(12)
◽
pp. 1706-1720
◽
2017 ◽
Vol 1143
◽
pp. 127-132
2019 ◽
Vol 97
◽
pp. 205-219
◽
Keyword(s):
2017 ◽
Vol 11
(1)
◽
pp. 39-60
◽
2015 ◽
Vol 10
(4)
◽
pp. 647-654
◽
1993 ◽
Vol 10
(3)
◽
pp. 167-172
◽
Keyword(s):