Application of model checking in memory arbiter synthesis
autor
vastutusandmed
Juhan Ernits
allikas
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
ilmumiskoht
[S. l.]
ilmumisaasta
leheküljed
[1 p.]. (Student talks and posters 2004 (abstracts))
keel
inglise
märksõna
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)).