Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
2005 ◽
Vol 133
◽
pp. 81-100
◽
2007 ◽
Vol 40
(6)
◽
pp. 169-174
◽
2004 ◽
Vol 37
(18)
◽
pp. 285-290
◽
2014 ◽
Vol 36
(10)
◽
pp. 2019-2032
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 9
(1)
◽
pp. 13-20
◽