Application of model checking in memory arbiter synthesis
author
statement of authorship
Juhan Ernits
source
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
location of publication
[S. l.]
year of publication
pages
[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)).