| Title | Agregatinių specifikacijų verifikavimas transformuojant jas į baigtinius automatus / |
|---|---|
| Translation of Title | Verification of Aggregate specifications transforming them in to finite-state automata. |
| Authors | Baužaitė, Rasa |
| Full Text |
|
| Pages | 70 |
| Type | Master thesis |
| Language | Lithuanian |
| Publication date | 2006 |