Symbolic model checking of Dual Transition Petri Nets
Keyword(s):
Keyword(s):
2009 ◽
Vol 31
(2)
◽
pp. 245-252
◽
Keyword(s):
2005 ◽
Vol 24
(2)
◽
pp. 129-140
◽
2016 ◽
Vol 25
(2)
◽
pp. 1-48
◽