2001
Models of infinite-state systems with constraints
STREJČEK, JanZákladní údaje
Originální název
Models of infinite-state systems with constraints
Autoři
STREJČEK, Jan
Vydání
Brno, iii, 44, 2001
Změněno: 27. 3. 2023 04:45, Záznam byl importován z knihovního systému.