@misc{indiciae3c9d76dde178,
  title = {Statistical Model Checking based Analysis of Biological Networks},
  author = {Bing Liu and Benjamin M. Gyori and P. S. Thiagarajan},
  year = {2018},
  url = {https://arxiv.org/abs/1812.01091},
  note = {Source identifier: 1812.01091}
}