Application of model checking in memory arbiter synthesis
author
Ernits, Juhan-Peep
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
2004
pages
[1 p.]. (Student talks and posters 2004 (abstracts))