\input zb-basic
\input zb-ioport
\iteman{io-port 70693908}
\itemau{Wang, Jiaqi; Welch, Jennifer L.; Lee, Hyunyoung}
\itemti{Time bounds for shared objects in partially synchronous systems}
\itemso{PODC, 347-348 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1993806.1993877}
\end