@misc{indiciae736898e0ee7b,
  title = {Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction},
  author = {Jeroen J. A. Keiren and Wieger Wesselink and Tim A. C. Willemse},
  year = {2014},
  doi = {10.1007/978-3-319-11936-6\_16},
  url = {https://arxiv.org/abs/1304.6482},
  note = {Source identifier: 1304.6482}
}