Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J.

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

Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Temporally extended high-level decision diagrams for PSL assertions simulation // Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy. Los Alamitos : IEEE Computer Society, 2008. p. 61-68 : ill.