@inproceedings{mazur:2008,
  title = "Formal verification of not fully symmetric systems using counter abstraction",
  author = "Tomasz Mazur",
  year = "2008",
  booktitle = "Proceedings of the MOdelling and VErifying Process (MOVEP'08)",
  url = "http://web.comlab.ox.ac.uk/people/tomasz.mazur/publications/tomasz_mazur-movep08-phd.pdf",
}