Integrating model checking with the industrial design of interactive systems
2009 ◽
Vol 53
(12)
◽
pp. 764-768
◽
2018 ◽
Vol 62
(1)
◽
pp. 641-645
2007 ◽
Vol 183
◽
pp. 3-20
◽
2000 ◽
Vol 5
◽
pp. 1
◽