PSL assertion checking using temporally extended high-level decision diagrams
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
journal volume number month
25
year of publication
pages
6, p. 289-300 : ill
subject term
ISSN
0923-8174
notes
Bibliogr.: 23 ref
language
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. PSL assertion checking using temporally extended high-level decision diagrams // Journal of electronic testing : theory and applications (2009) 25, 6, p. 289-300 : ill.