Detail publikace
Optimizing an LTS-Simulation Algorithm
HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno, 2009.
Název česky
Optimalizace algoritmu pro výpočet relace simulace
Typ
technická zpráva
Jazyk
angličtina
Autoři
URL
Abstrakt
Optimalizace algoritmu pro výpočet relací simulace nad přechodovými systémy s návěštími (PSsN).
Rok
2009
Strany
17
Místo
FIT-TR-2009-03, Brno, CZ
BibTeX
@TECHREPORT{FITPUB9085, author = "Luk\'{a}\v{s} Hol\'{i}k and Ji\v{r}\'{i} \v{S}im\'{a}\v{c}ek", title = "Optimizing an LTS-Simulation Algorithm", pages = 17, year = 2009, location = "FIT-TR-2009-03, Brno, CZ", language = "english", url = "https://www.fit.vut.cz/research/publication/9085" }