1997
Automatic verification of sequential infinite-state processes
BURKART, OlafZákladní údaje
Originální název
Automatic verification of sequential infinite-state processes
Autoři
BURKART, Olaf
Vydání
Berlin, 163 s. 1997
Nakladatel
Springer
Další údaje
ISBN
3540639829
Změněno: 20. 3. 2023 04:44, Záznam byl importován z knihovního systému.