Temporal verification of reactive systems : safety

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

1995

Temporal verification of reactive systems : safety

MANNA, Zohar a A. PNUELI

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

Označené pro přenos do RIV

ISBN

0387944591

Změněno: 23. 2. 2026 05:09, Záznam byl importován z knihovního systému.

MANNA, Zohar a A. PNUELI. Temporal verification of reactive systems : safety. New York: Springer, 1995, xviii, 512. ISBN 0387944591.

@article{,
   author = {Manna, Zohar and Pnueli, A.},
   address = {New York},
   location = {New York},
   isbn = {0387944591},
   publisher = {Springer},
   title = {Temporal verification of reactive systems : safety},
   year = {1995}
}

TY  - JOUR
AU  - Manna, Zohar - Pnueli, A.
PY  - 1995
TI  - Temporal verification of reactive systems : safety
PB  - Springer
CY  - New York
SN  - 0387944591
ER  -

MANNA, Zohar a A. PNUELI. \textit{Temporal verification of reactive systems : safety}. New York: Springer, 1995, xviii, 512. ISBN~0387944591.