\input zb-basic
\input zb-ioport
\iteman{io-port 05749218}
\itemau{Bernardo, Marco}
\itemti{Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes.}
\itemso{Electron. Notes Theor. Comput. Sci. 253, No. 3, 3-23 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1016/j.entcs.2009.10.002}
\end