prindi

Application of model checking in memory arbiter synthesis

autor
Ernits, Juhan-Peep
vastutusandmed
Juhan Ernits
allikas
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
ilmumiskoht
[S. l.]
ilmumisaasta
2004
leheküljed
[1 p.]. (Student talks and posters 2004 (abstracts))
Ernits, J. Application of model checking in memory arbiter synthesis // Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004. [S. l.], 2004. [1 p.]. (Student talks and posters 2004 (abstracts)).