| BRIM, Luboš. Modal logics for real-time systems. Online. Brno, 1995. 107 s. [citováno 2024-04-23] |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Modal logics for real-time systems |
| Autoři | BRIM, Luboš |
| Vydání | Brno, 107 s. 1995. |
| Další údaje | |
|---|---|
| Změnil | Záznam byl importován z knihovního systému. Změněno: 25. 9. 2023 04:44. |
VytisknoutZobrazeno: 23. 4. 2024 14:37