Automatic verification of sequential infinite-state processes
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