Tudományterület szerző szerint "Bartha, Tamá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.

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 2018. szeptember 24. 04:46:37 CEST.