Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov : Č.v. odb. 5.2.14. Obh. 24.05.2006
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | langues slaves |
| Publié: |
Bratislava :
Ústav informatiky SAV,
2006
|
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|