BRIM, Luboš. Modal logics for real-time systems. Brno, 1995, 107 s. |
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: 9. 5. 2024 12:55