Detail publikace
Optimizing an LTS-Simulation Algorithm
HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. Computing and Informatics, roč. 2010, č. 7, s. 1337-1348. ISSN 1335-9150. Dostupné z: http://www.cai.sk/ojs/index.php/cai/article/view/147
Název česky
Optimalizace algoritmu pro výpočet relace simulace
Typ
článek v časopise
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
2010
Strany
1337-1348
Časopis
Computing and Informatics, roč. 2010, č. 7, ISSN 1335-9150
Vydavatel
Slovak Academic Press
UT WoS
000287768300018
BibTeX
@ARTICLE{FITPUB9733, 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 = "1337--1348", journal = "Computing and Informatics", volume = 2010, number = 7, year = 2010, ISSN = "1335-9150", language = "english", url = "https://www.fit.vut.cz/research/publication/9733" }