Szerző: " Bartha Tamás"

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

Találatok száma: 2.

Cikk, tanulmány, mű

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. április 18. 19:36:36 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.