Tomasz Mazur: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Formal verification of not fully symmetric systems using counter abstraction
Tomasz Mazur
In Proceedings of the MOdelling and VErifying Process (MOVEP'08) 2008.
Details
|
BibTeX
| Link (pdf) |
|
[2]
|
Counter Abstraction in the CSP/FDR setting
Tomasz Mazur, Gavin Lowe
In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07) 2007.
Details
|
BibTeX
| Link (pdf) |
|
