Temporal verification of reactive systems : safety
MANNA, Zohar a A. PNUELI. Temporal verification of reactive systems : safety. New York: Springer, 1995, xviii, 512. ISBN 0387944591. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Temporal verification of reactive systems : safety |
Autoři | MANNA, Zohar a A. PNUELI. |
Vydání | New York, xviii, 512, 1995. |
Nakladatel | Springer |
Další údaje | |
---|---|
ISBN | 0387944591 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 12:24. |
VytisknoutZobrazeno: 20. 9. 2024 03:54