Autor der Publikation

Connection between logical and algebraic approaches to concurrent systems.

. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)

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

An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , und . ICFEM, Volume 9407 von Lecture Notes in Computer Science, Seite 382-399. Springer, (2015)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP., , und . TAMC, Volume 7287 von Lecture Notes in Computer Science, Seite 72-83. Springer, (2012)Decidability of the Reachability for a Family of Linear Vector Fields., , , , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 482-499. Springer, (2015)Combining Hierarchical Specification with Hierarchical Implementation.. ASIAN, Volume 2896 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2003)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , und . UTP, Volume 10134 von Lecture Notes in Computer Science, Seite 65-92. Springer, (2016)Connection between logical and algebraic approaches to concurrent systems.. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2007)Formal Modelling, Analysis and Verification of Hybrid Systems., , und . ICTAC Training School on Software Engineering, Volume 8050 von Lecture Notes in Computer Science, Seite 207-281. Springer, (2013)Differential Games Based on Invariant Sets Generation., , , , und . ACC, Seite 1285-1292. IEEE, (2022)Abstraction of Elementary Hybrid Systems by Variable Transformation., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 360-377. Springer, (2015)