Utilising processor cache for speeding up reachability checks in model checking
author
statement of authorship
Juhan Ernits
location of publication
[S. l.]
year of publication
pages
[1] p
notes
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.