Detail publikace

Optimizing an LTS-Simulation Algorithm

HOLÍK, L.; ŠIMÁČEK, J. Optimizing an LTS-Simulation Algorithm. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2009. p. 93-101. ISBN: 978-3-939897-15-6.
Název česky
Optimalizace algoritmu pro výpočet relace simulace
Typ
článek ve sborníku konference
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
2009
Strany
93–101
Sborník
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-3-939897-15-6
Vydavatel
Faculty of Informatics MU
Místo
Znojmo
BibTeX 
@inproceedings{BUT30855,
  author="Lukáš {Holík} and Jiří {Šimáček}",
  title="Optimizing an LTS-Simulation Algorithm",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2009",
  pages="93--101",
  publisher="Faculty of Informatics MU",
  address="Znojmo",
  isbn="978-3-939897-15-6",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2009-03.pdf"
}
Nahoru