\input zb-basic
\input zb-ioport
\iteman{io-port 70576199}
\itemau{Verbeek, Freek; Schmaltz, Julien}
\itemti{A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks}
\itemso{ITP, 67-82 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-14052-5\_7}
\end