Runtime verification of generalized test tables

@inproceedings{DBLP:conf/nfm/WeiglUTK21,
	author = {['Alexander Weigl', 'Mattias Ulbrich', 'Shmuel S. Tyszberowicz', 'Jonas Klamroth']},
	editor = {['Aaron Dutle', 'Mariano M. Moscato', 'Laura Titolo', 'César A. Muñoz', 'Ivan Perez']},
	title = {Runtime Verification of Generalized Test Tables},
	booktitle = {NASA Formal Methods - 13th International Symposium, NFM 2021,
                  Virtual Event, May 24-28, 2021, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {12673},
	pages = {358–374},
	publisher = {Springer},
	year = {2021},
	url = {https://doi.org/10.1007/978-3-030-76384-8_22},
	doi = {10.1007/978-3-030-76384-8_22},
	timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
	biburl = {https://dblp.org/rec/conf/nfm/WeiglUTK21.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}