Predictability verification with parallel L TL-X model checking based on Petri net unfoldings /
Madalinski, Agnes.
Khomenko, Victor.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
2011.
"September, 2011."
Caption title.