@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",
}
@inproceedings{mazur:2007,
  title = "Counter Abstraction in the CSP/FDR setting",
  author = "Tomasz Mazur and Gavin Lowe",
  year = "2007",
  booktitle = "Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07)",
  url = "http://web.comlab.ox.ac.uk/people/tomasz.mazur/publications/counterabstraction_AVoCS.pdf",
}