Automatic verification of sequential infinite-state processes

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

1997

Automatic verification of sequential infinite-state processes

BURKART, Olaf

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

Označené pro přenos do RIV

ISBN

3540639829

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

BURKART, Olaf. Automatic verification of sequential infinite-state processes. Berlin: Springer, 1997, 163 s. ISBN 3540639829.

@article{,
   author = {Burkart, Olaf},
   address = {Berlin},
   location = {Berlin},
   isbn = {3540639829},
   publisher = {Springer},
   title = {Automatic verification of sequential infinite-state processes},
   year = {1997}
}

TY  - JOUR
AU  - Burkart, Olaf
PY  - 1997
TI  - Automatic verification of sequential infinite-state processes
PB  - Springer
CY  - Berlin
SN  - 3540639829
ER  -

BURKART, Olaf. \textit{Automatic verification of sequential infinite-state processes}. Berlin: Springer, 1997, 163 s. ISBN~3540639829.