Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


3423 Treffer


× Publikationen
× Universität Koblenz




  • Sofronie-Stokkermans, Viorica; Peuter, Dennis; Marohn, Philipp
  • On the Verification of Parametric Systems
  • Fränzle, M.; Niehaus, J.; Westphal, B. (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems. Cham: Springer 2025 S. 201 - 221 (Lecture Notes in Computer Science, vol. 15471)



  • Schneider, Thomas Martin
  • Grußwort
  • Joachim Conrad (Hrsg). Menschen zwischen Kreuz und Krone. Lebensbilder der Reformation an Saar und Blies 1575–1635. 1. Aufl. Saarbrücken: Geistkirch 2025 S. 13 - 14 (Beiträge zur evangelischen Kirchengeschichte der Saargegend, Bd. 11)