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
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Manuskript Buch |
| Sprache: | Slawische Sprachen |
| Veröffentlicht: |
Bratislava :
Ústav informatiky SAV,
2006
|
| Schlagworte: | |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|