| BRIM, Luboš. Modal mu-Calculus with Distances. Scripta Fac.Brun. 1994, roč. 1994, č. 23, s. 51-63. ISSN 2101-2986. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Modal mu-Calculus with Distances |
| Autoři | BRIM, Luboš. |
| Vydání | Scripta Fac.Brun. 1994, 2101-2986. |
| Další údaje | |
|---|---|
| Originální jazyk | angličtina |
| Typ výsledku | Článek v odborném periodiku |
| Obor | 20206 Computer hardware and architecture |
| Stát vydavatele | Česká republika |
| Utajení | není předmětem státního či obchodního tajemství |
| Kód RIV | RIV/00216224:14330/94:00000033 |
| Organizační jednotka | Fakulta informatiky |
| Změnil | Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:53. |
| Návaznosti | |
|---|---|
| GA201/93/2123, projekt VaV | Název: Analýza konkurentních nekonečně stavových systémů |
| Investor: Grantová agentura ČR, Analýza konkurentních nekonečně stavových systémů | |
| MSM 143300001, záměr | Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů |
| Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů | |
VytisknoutZobrazeno: 14. 5. 2024 03:21