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
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
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"
}
Nahoru