Generalised test tables: A practical specification language for reactive systems

@inproceedings{DBLP:conf/ifm/BeckertCUVW17,
	editor = {['Nadia Polikarpova', 'Steve Schneider']},
	series = {Lecture Notes in Computer Science},
	volume = {10510},
	publisher = {Springer},
	year = {2017},
	isbn = {978-3-319-66844-4},
	ids = {Beckert2017,BeckertEtAl2017},
	author = {['Bernhard Beckert', 'Suhyun Cha', 'Mattias Ulbrich', 'Birgit Vogel-Heuser', 'Alexander Weigl']},
	title = {Generalised Test Tables: A Practical Specification Language for
               Reactive Systems},
	booktitle = {Integrated Formal Methods - 13th International Conference, IFM 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
	pages = {129–144},
	url = {https://doi.org/10.1007/978-3-319-66845-1_9},
	doi = {10.1007/978-3-319-66845-1_9},
	timestamp = {Sat, 19 Oct 2019 20:14:37 +0200},
	biburl = {https://dblp.org/rec/conf/ifm/BeckertCUVW17.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}