PSL assertion checking with temporally extended high-level decision diagrams
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
location of publication
[S.l.]
year of publication
pages
p. 49-54 : ill
notes
Bibliogr.: 19 ref
language
inglise
subject term
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. PSL assertion checking with temporally extended high-level decision diagrams // Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico. [S.l.], 2008. p. 49-54 : ill.