Automated Analysis of Industrial Embedded Software
1998 ◽
Vol 31
(2)
◽
pp. 365A
Keyword(s):
2009 ◽
Vol 129
(2)
◽
pp. 355-365
◽
2010 ◽
Vol 130
(3)
◽
pp. 496-502