Detail publikace

Optimizing an LTS-Simulation Algorithm

HOLÍK, L.; ŠIMÁČEK, J. Optimizing an LTS-Simulation Algorithm. Computing and Informatics, 2010, vol. 2010, no. 7, p. 1337-1348. ISSN: 1335-9150.
Název česky
Optimalizace algoritmu pro výpočet relace simulace
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
URL
Klíčová slova

simulation, labeled transition system, finite automata, tree automata

Abstrakt

Optimalizace algoritmu pro výpočet relací simulace nad přechodovými systémy s návěštími (PSsN). 

Rok
2010
Strany
1337–1348
Časopis
Computing and Informatics, roč. 2010, č. 7, ISSN 1335-9150
UT WoS
000287768300018
BibTeX 
@article{BUT76431,
  author="Lukáš {Holík} and Jiří {Šimáček}",
  title="Optimizing an LTS-Simulation Algorithm",
  journal="Computing and Informatics",
  year="2010",
  volume="2010",
  number="7",
  pages="1337--1348",
  issn="1335-9150",
  url="http://www.cai.sk/ojs/index.php/cai/article/view/147"
}
Nahoru