Sequential test generation based on real-valued logic simulation
2002 ◽
Vol 19
(5)
◽
pp. 56-64
◽
1993 ◽
Vol 12
(5)
◽
pp. 579-598
◽
2011 ◽
Vol 30
(10)
◽
pp. 1579-1583
◽
2010 ◽
Vol 29
(3)
◽
pp. 454-465
◽