Jennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer. Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 47-48, GI, 2019. [doi]
@inproceedings{BringsDKW19,
title = {Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden},
author = {Jennifer Brings and Marian Daun and Markus Kempe and Thorsten Weyer},
year = {2019},
doi = {10.18420/se2019-09},
url = {https://doi.org/10.18420/se2019-09},
researchr = {https://researchr.org/publication/BringsDKW19},
cites = {0},
citedby = {0},
pages = {47-48},
booktitle = {Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019},
editor = {Steffen Becker 0001 and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner 0001},
volume = {P-292},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-686-2},
}