Application of model checking in memory arbiter synthesis
Ernits, Juhan-Peep
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
2004
/
[1 p.]. (Student talks and posters 2004 (abstracts))