\input zb-basic
\input zb-ioport
\iteman{io-port 70759936}
\itemau{Piazza, Carla; Antoniotti, Marco; Mysore, Venkatesh; Policriti, Alberto; Winkler, Franz; Mishra, Bud}
\itemti{Algorithmic algebraic model checking I: Challenges from systems biology}
\itemso{CAV, 5-19 (2005).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/11513988\_3}
\end