@misc{indiciaec36ea95645f6,
  title = {A dynamic logic method for determining behaviors of biological networks},
  author = {Suping Lyu},
  year = {2008},
  url = {https://arxiv.org/abs/0806.1733},
  note = {Source identifier: 0806.1733}
}