@article{BBBC2011j,
 article_number = {2011},
 author = {Jiří Barnat and Petr Bauch and Luboš Brim and Milan Češka},
 doi = {http://dx.doi.org/10.4204/EPTCS.72.8},
 issn = {2075-2180},
 journal = {Electronic Proceedings in Theoretical Computer Science},
 keywords = {Model checking; hardware platforms; parallelism},
 language = {eng},
 note = {PDMC 2011},
 title = {Computing Optimal Cycle Mean in Parallel on CUDA},
 url = {http://eptcs.org/paper.cgi?PDMC2011.8},
 volume = {72},
 year = {2011}
}