STREJČEK, Jan. Models of infinite-state systems with constraints. Brno, 2001, iii, 44.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Models of infinite-state systems with constraints
Autoři STREJČEK, Jan.
Vydání Brno, iii, 44, 2001.
Další údaje
Změnil Záznam byl importován z knihovního systému. Změněno: 27. 3. 2023 04:45.
VytisknoutZobrazeno: 26. 4. 2024 06:21