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