PSL assertion checking using temporally extended high-level decision diagrams
author
Jenihhin, Maksim
Raik, Jaan
TÅ¡epurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
Journal of electronic testing : theory and applications
journal volume number month
25
year of publication
2009
pages
6, p. 289-300 : ill
url
https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf
subject term
verifikatsioon
otsustusdiagrammid
ISSN
0923-8174
notes
Bibliogr.: 23 ref
language
inglise