Szerző: " Bartha Tamás"

csoportosítás: Mű típusa | csoportosítás nélkül

Találatok száma: 2.

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)

Hajdu Ákos; Vörös András; Bartha Tamás; Mártonka Zoltán: Extensions to the CEGAR approach on Petri nets. In: Acta cybernetica, (21) 3. pp. 401-417. (2014)

A lista elkészítésének dátuma 2024. május 1. 15:09:09 CEST.

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.