Author of the publication

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.

, , , and . FMTea, volume 11758 of Lecture Notes in Computer Science, page 181-195. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ω-Automata.. CoRR, (2016)Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods., , , and . FMTea, volume 11758 of Lecture Notes in Computer Science, page 181-195. Springer, (2019)Zur Effizienz wirtschaftswissenschaftlicher Politikberatung. Ausgewählte volkswirtschaftliche Diplomarbeiten des Fachbereichs Wirtschaftswissenschaft der Gerhard-Mercator-Universität - Gesamthochschule Duisburg Univ., Gesamthochsch., Duisburg, (1996)Besteuerung von Erbschaften und Schenkungen. Duisburger volkswirtschaftliche Schriften Duncker und Humblot, Berlin, (2001)ω-Automata., and . Handbook of Automata Theory (I.), European Mathematical Society Publishing House, Zürich, Switzerland, (2021)Lack of phylogeographic structure in three widespread Australian birds reinforces emerging challenges in Australian historical biogeography, and . JOURNAL OF BIOGEOGRAPHY, 34 (4): 612-624 (2007)Invaders or endemics? Molecular phylogenetics, biogeography and systematics of Dreissena in the Balkans, , , , and . FRESHWATER BIOLOGY, 52 (8): 1525-1536 (2007)Discovery of Dreissena rostriformis bugensis (Andrusov 1897) in Western Europe, , , and . BIOLOGICAL INVASIONS, 9 (7): 871-874 (2007)Visually Representing History Dependencies in Event Logs., , and . ICPM Workshops, volume 406 of Lecture Notes in Business Information Processing, page 5-16. Springer, (2020)Classification of freshwater snails of the genus Radomaniola with multimodal triplet networks., , , , , and . CoRR, (2024)