CUDA Accelerated LTL Model Checking -- Revisited

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BAUCH Petr ČEŠKA Milan
Rok publikování	2010
Druh	Článek ve sborníku
Konference	Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Verifikace a analýza velmi velkých počítačových systémů Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace