Detail publikace
Optimizing an LTS-Simulation Algorithm
HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Fakulta informatiky MU, 2009, s. 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
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
93-101
Sborník
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-3-939897-15-6
Vydavatel
Fakulta informatiky MU
Místo
Znojmo, CZ
BibTeX
@INPROCEEDINGS{FITPUB9119, 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 = "93--101", booktitle = "5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science", year = 2009, location = "Znojmo, CZ", publisher = "Faculty of Informatics MU", ISBN = "978-3-939897-15-6", language = "english", url = "https://www.fit.vut.cz/research/publication/9119" }