Utilising processor cache for speeding up reachability checks in model checking
autor
vastutusandmed
Juhan Ernits
ilmumiskoht
[S. l.]
ilmumisaasta
leheküljed
[1] p
märkused
Bibliogr.: 4 ref
Ernits, J. Utilising processor cache for speeding up reachability checks in model checking // Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006. [S. l.], 2006. [1] p.