Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal

CímSzaturációalapú tesztbemenet-generálás színezett Petri-hálókkal
Közlemény típusaConference Paper
Kiadás éve2013
SzerzőkDarvas, D., and Vörös, A.
Konferencia neveMesterpróba 2013. Konferenciakiadvány
Kiadás dátuma05/2013