@misc{indiciae0195709bf38c,
  title = {Static Analysis using Parameterised Boolean Equation Systems},
  author = {María Del Mar Gallardo and Christophe Joubert and Pedro Merino},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0606092},
  note = {Source identifier: cs/0606092}
}