Simulations and antichains for efficient handling of finite automata

Holík Lukáš, Vojnar Tomáš

Kniha

Citace v seznamu literatury:

HOLÍK, Lukáš a VOJNAR, Tomáš. Simulations and antichains for efficient handling of finite automata: monograph. Brno: Faculty of Information Technology, Brno University of Technology, 2010. ISBN 9788021442177.

skrýt nepovinné údaje zobrazit další údaje

ISBN*:

Jiný identifikátor:

Autoři:

Jméno:	Příjmení:	Role:

Přidat autora

Korporace:

Název*:

Podnázev:

Svazek:

Vydání*:

Sekundární odpovědnost:

Místo vydání:

Nakladatelství*:

Rok vydání*:

Počet stran:

Edice:

Subedice:

Číslo edice:

Jazyk:

Poznámka:

skrýt nepovinné údaje zobrazit další údaje

Zkontrolovat citaci Uložit