Temporally extended high-level decision diagrams for PSL assertions simulation
author
Jenihhin, Maksim
Raik, Jaan
TÅ¡epurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy
location of publication
Los Alamitos
publisher
IEEE Computer Society
year of publication
2008
pages
p. 61-68 : ill
ISBN
978-0-7695-3150-2
notes
Bibliogr.: 15 ref