CUDA Accelerated LTL Model Checking -- Revisited

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info