Simulation-based verification with APRICOT framework using high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
East-West Design & Test Symposium : Moscow, September 18-21, 2009
2009
/
p. 13-16 : ill