Models of infinite-state systems with constraints

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

2001

Models of infinite-state systems with constraints

STREJČEK, Jan

Základní údaje

Originální název

Models of infinite-state systems with constraints

Autoři

STREJČEK, Jan

Vydání

Brno, iii, 44, 2001

Další údaje

Označené pro přenos do RIV

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

STREJČEK, Jan. Models of infinite-state systems with constraints. Brno, 2001, iii, 44.

@article{,
   author = {Strejček, Jan},
   address = {Brno},
   location = {Brno},
   title = {Models of infinite-state systems with constraints},
   year = {2001}
}

TY  - JOUR
AU  - Strejček, Jan
PY  - 2001
TI  - Models of infinite-state systems with constraints
CY  - Brno
ER  -

STREJČEK, Jan. \textit{Models of infinite-state systems with constraints}. Brno, 2001, iii, 44.