( en | de | ru )

 

Disambiguierung von "Struth, Georg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

, , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 367-386. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Georg Struth

Fritz Struth

Sigrid Struth

Bernd Struth

Thomas Struth

 

Weitere Publikationen von Autoren mit dem selben Namen

On Automating the Calculus of Relations, und . (2008)Modal Semirings Revisited., und . MPC, Volume 5133 von Lecture Notes in Computer Science, Seite 360-387. Springer, (2008)Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.. MPC, Volume 4014 von Lecture Notes in Computer Science, Seite 416-432. Springer, (2006)Greedy-Like Algorithms in Modal Kleene Algebra., und . RelMiCS, Volume 3051 von Lecture Notes in Computer Science, Seite 202-215. Springer, (2003)Convolution and Concurrency., , und . CoRR, (2020)Cylindric Kleene Lattices for Program Construction., , , und . MPC, Volume 11825 von Lecture Notes in Computer Science, Seite 197-225. Springer, (2019)Relations and Kleene Algebras in Computer Science., und . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Omega Algebras and Regular Equations., und . RAMiCS, Volume 6663 von Lecture Notes in Computer Science, Seite 248-263. Springer, (2011)Relational Formalisations of Compositions and Liftings of Multirelations., , , und . RAMiCS, Volume 9348 von Lecture Notes in Computer Science, Seite 84-100. Springer, (2015)IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale., , , , , und . J. Autom. Reason., 68 (4): 21 (Dezember 2024)