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: 3. 5. 2024 12:31