BURKART, Olaf. Automatic verification of sequential infinite-state processes. Berlin: Springer. 163 s. ISBN 3540639829. 1997.
Další formáty:   BibTeX LaTeX RIS
Zá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ěnil Záznam byl importován z knihovního systému. Změněno: 20. 3. 2023 04:44.
VytisknoutZobrazeno: 23. 4. 2024 08:07