Szerző: " Darvas Dániel"

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. In: Acta cybernetica, (22) 3. pp. 573-589. (2016)

A lista elkészítésének dátuma 2026. január 9. 04:54:38 CET.

Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.