Tudományterület szerző szerint "Vörös, András"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

Cikk, tanulmány, mű

Darvas, Dániel; Vörös, András; Bartha, Tamás: Improving Saturation-based Bounded Model Checking. Acta cybernetica, (22) 3. pp. 573-589. (2016)

A lista elkészítésének dátuma 2017. szeptember 23. 16:42:02 CEST.