PSL assertion checking using temporally extended high-level decision diagrams

vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
ajakirja aastakäik number kuu
25
ilmumisaasta
leheküljed
6, p. 289-300 : ill
ISSN
0923-8174
märkused
Bibliogr.: 23 ref
keel
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. https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf