TY - RPRT TI - A dynamic logic method for determining behaviors of biological networks AU - Suping Lyu PY - 2008 UR - https://arxiv.org/abs/0806.1733 ID - 0806.1733 ER -