| Translated title of the contribution | Validating correctness with behavioural abstractions |
|---|---|
| Original language | English |
| Place of Publication | Tampere |
| Publisher | Tampere University of Technology |
| Publication status | Published - 2005 |
| Publication type | G5 Doctoral dissertation (articles) |
Publication series
| Name | Tampereen teknillinen yliopisto, Julkaisu |
|---|---|
| Publisher | Tampere University of Technology |
| Volume | 550 |
Publication forum classification
- No publication forum level