Szerző: " Hajdu Ákos"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

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:21:32 CEST.