Skip to top bar Skip to header Skip to content Skip to footer

Publications Modal logics for real-time systems Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Modal logics for real-time systems

BRIM, Luboš. Modal logics for real-time systems. Brno, 1995, 107 s.

Other formats: BibTeX LaTeX RIS

Basic information
Original name	Modal logics for real-time systems
Authors	BRIM, Luboš.
Edition	Brno, 107 s. 1995.

Other information
Changed by	The record has been imported from the library system. Changed: 25/9/2023 04:44.

PrintDisplayed: 3/5/2024 22:29

Other applications