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. november 15. 01:48:40 CET.