@inproceedings{DBLP:conf/indin/WeiglWUUCKBV17,
ids={WeiglEtAl2017,AAAA},
author = {Alexander Weigl and
Franziska Wiebe and
Mattias Ulbrich and
Sebastian Ulewicz and
Suhyun Cha and
Michael Kirsten and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Generalized test tables: {A} powerful and intuitive specification
language for reactive systems},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {875--882},
year = 2017,
crossref = {DBLP:conf/indin/2017},
url = {https://doi.org/10.1109/INDIN.2017.8104887},
doi = {10.1109/INDIN.2017.8104887},
timestamp = {Sat, 19 Oct 2019 20:28:17 +0200},
biburl = {https://dblp.org/rec/conf/indin/WeiglWUUCKBV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}```