Tim Ruß, Stephan Magnus, Jan Krause. Automatisiertes Testen von verteilten Systemen über Petrinetze. Softwaretechnik-Trends, 37(1), 2017. [doi]
@article{RussMK17,
title = {Automatisiertes Testen von verteilten Systemen über Petrinetze},
author = {Tim Ruß and Stephan Magnus and Jan Krause},
year = {2017},
url = {http://pi.informatik.uni-siegen.de/stt/37_1/./01_Fachgruppenberichte/TAV/6_GI-TAV_paper_4.pdf},
researchr = {https://researchr.org/publication/RussMK17},
cites = {0},
citedby = {0},
journal = {Softwaretechnik-Trends},
volume = {37},
number = {1},
}