( 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

Kleene Theorem for Higher-Dimensional Automata, , , und . (2022)cite arxiv:2202.03791.Modal Kleene Algebra and Partial Correctness., und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 379-393. Springer, (2004)Concurrent Kleene Algebra., , , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 399-414. Springer, (2009)On Locality and the Exchange Law for Concurrent Processes., , , , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 250-264. Springer, (2011)ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality., , , , und . RAMiCS, Volume 13027 von Lecture Notes in Computer Science, Seite 90-107. Springer, (2021)On Probabilistic Kleene Algebras, Automata and Simulations., , und . RAMiCS, Volume 6663 von Lecture Notes in Computer Science, Seite 264-279. Springer, (2011)A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic., , und . UTP, Volume 11885 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2019)Single-Set Cubical Categories and Their Formalisation with a Proof Assistant., , und . J. Autom. Reason., 68 (4): 20 (Dezember 2024)A Program Construction and Verification Tool for Separation Logic., , und . MPC, Volume 9129 von Lecture Notes in Computer Science, Seite 137-158. Springer, (2015)Modal Semirings Revisited., und . MPC, Volume 5133 von Lecture Notes in Computer Science, Seite 360-387. Springer, (2008)