Verification of reactive systems : formal methods and
algorithms

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

2004

Verification of reactive systems : formal methods and algorithms

SCHNEIDER, Klaus

Základní údaje

Originální název

Verification of reactive systems : formal methods and algorithms

Autoři

SCHNEIDER, Klaus

Vydání

Berlin, xiv, 600, 2004

Nakladatel

Springer

Další údaje

Označené pro přenos do RIV

ISBN

3540002960

Změněno: 1. 6. 2026 05:12, Záznam byl importován z knihovního systému.

SCHNEIDER, Klaus. Verification of reactive systems : formal methods and algorithms. Berlin: Springer, 2004, xiv, 600. ISBN 3540002960.

@article{,
   author = {Schneider, Klaus},
   address = {Berlin},
   location = {Berlin},
   isbn = {3540002960},
   publisher = {Springer},
   title = {Verification of reactive systems : formal methods and algorithms},
   year = {2004}
}

TY  - JOUR
AU  - Schneider, Klaus
PY  - 2004
TI  - Verification of reactive systems : formal methods and algorithms
PB  - Springer
CY  - Berlin
SN  - 3540002960
ER  -

SCHNEIDER, Klaus. \textit{Verification of reactive systems : formal methods and algorithms}. Berlin: Springer, 2004, xiv, 600. ISBN~3540002960.