%0 Journal Article %1 journals/stt/RussMK17 %A Ruß, Tim %A Magnus, Stephan %A Krause, Jan %D 2017 %J Softwaretechnik-Trends %K %N 1 %T Automatisiertes Testen von verteilten Systemen über Petrinetze. %U http://dblp.uni-trier.de/db/journals/stt/stt37.html#RussMK17 %V 37

@article{journals/stt/RussMK17, added-at = {2023-12-13T03:29:47.000+0100}, author = {Ruß, Tim and Magnus, Stephan and Krause, Jan}, biburl = {https://www.bibsonomy.org/bibtex/23b48ab69ff7096bdfd281b7fafa03612/admin}, ee = {http://pi.informatik.uni-siegen.de/stt/37_1/./01_Fachgruppenberichte/TAV/6_GI-TAV_paper_4.pdf}, interhash = {8bf26124a75f6c2885b26a6c954b50f3}, intrahash = {3b48ab69ff7096bdfd281b7fafa03612}, journal = {Softwaretechnik-Trends}, keywords = {}, number = 1, timestamp = {2023-12-13T03:29:47.000+0100}, title = {Automatisiertes Testen von verteilten Systemen über Petrinetze.}, url = {http://dblp.uni-trier.de/db/journals/stt/stt37.html#RussMK17}, volume = 37, year = 2017 }