Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Relations and Kleene Algebras in Computer Science., und . J. Log. Algebraic Methods Program., 76 (1): 1-2 (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)Omega Algebras and Regular Equations., und . RAMiCS, Volume 6663 von Lecture Notes in Computer Science, Seite 248-263. Springer, (2011)Greedy-Like Algorithms in Modal Kleene Algebra., und . RelMiCS, Volume 3051 von Lecture Notes in Computer Science, Seite 202-215. Springer, (2003)On Automating the Calculus of Relations, und . (2008)Cylindric Kleene Lattices for Program Construction., , , und . MPC, Volume 11825 von Lecture Notes in Computer Science, Seite 197-225. Springer, (2019)Convolution and Concurrency., , und . CoRR, (2020)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)