www.comlab.ox.ac.uk/people/publications/date/Tomasz.Mazur.html

Tomasz Mazur : Publications

By dateBy titleBy typeBibtex

[1]

Formal verification of not fully symmetric systems using counter abstraction

Tomasz Mazur

In Proceedings of the MOdelling and VErifying Process (MOVEP'08). 2008.

[2]

Counter Abstraction in the CSP/FDR setting

Tomasz Mazur and Gavin Lowe

In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07). 2007.