\input zb-basic
\input zb-ioport
\iteman{io-port 70051896}
\itemau{Tan, Tian Huat; Liu, Yang; Sun, Jun; Dong, Jin Song}
\itemti{Verification of orchestration systems using compositional partial order reduction}
\itemso{ICFEM, 98-114 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-24559-6\_9}
\end