Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann 0001, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz. ⋆. In Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak, editors, 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.