Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal
| Title | Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Darvas, D., and Vörös, A. |
| Conference Name | Mesterpróba 2013. Konferenciakiadvány |
| Date Published | 05/2013 |
