\input zb-basic
\input zb-ioport
\iteman{io-port 70836217}
\itemau{Baek, Woongki; Bronson, Nathan Grasso; Kozyrakis, Christos; Olukotun, Kunle}
\itemti{Implementing and evaluating a model checker for transactional memory systems}
\itemso{ICECCS, 117-126 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ICECCS.2010.30}
\end