Verifikace souběžných procesů s použitím nástroje SPIN

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2000

Verifikace souběžných procesů s použitím nástroje SPIN

BARNAT, Jiří

Základní údaje

Originální název

Verifikace souběžných procesů s použitím nástroje SPIN

Autoři

BARNAT, Jiří

Vydání

Brno, 62 s. 2000

Další údaje

Označené pro přenos do RIV

Změněno: 1. 6. 2026 05:11, Záznam byl importován z knihovního systému.

BARNAT, Jiří. Verifikace souběžných procesů s použitím nástroje SPIN. Brno, 2000, 62 s.

@article{,
   author = {Barnat, Jiří},
   address = {Brno},
   location = {Brno},
   title = {Verifikace souběžných procesů s použitím nástroje SPIN},
   year = {2000}
}

TY  - JOUR
AU  - Barnat, Jiří
PY  - 2000
TI  - Verifikace souběžných procesů s použitím nástroje SPIN
CY  - Brno
ER  -

BARNAT, Jiří. \textit{Verifikace souběžných procesů s použitím nástroje SPIN}. Brno, 2000, 62 s.