| Title | Paskirstytųjų sistemų agregatinių specifikacijų validavimas analizuojant būsenų pasiekiamumą |
|---|---|
| Translation of Title | Graph models for reachability analysis of distributed systems’ aggregate specifications. |
| Authors | Otčeskich, Olga |
| Full Text |
|
| Pages | 56 |
| Type | Master thesis |
| Language | Lithuanian |
| Publication date | 2005 |