TY  - CONF
AU  - Darvas, Dániel
AU  - Vörös, András
TI  - Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal
T2  - Mesterpróba 2013
PB  - Budapesti Műszaki Egyetem (BME)
C1  - Budapest
PY  - 2013
SP  - 48
EP  - 51
PG  - 4
UR  - https://m2.mtmt.hu/api/publication/2768060
ID  - 2768060
LA  - Hungarian
DB  - MTMT
ER  -