Autor der Publikation

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

Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , und . FORMAL METHODS IN SYSTEM DESIGN, Seite 2000. (2000)The Decidability of the First-Order Theory of Knuth-Bendix Order., , und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 131-148. Springer, (2005)Visual Verification of Reactive Systems., , , und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 334-350. Springer, (1997)Linear Ranking with Reachability., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 491-504. Springer, (2005)What's Decidable About Arrays?, , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 427-442. Springer, (2006)Diagram-based verification of discrete, real-time and hybrid systems.. Stanford University, USA, (1999)Fixed Point Iteration for Computing the Time Elapse Operator., , und . HSCC, Volume 3927 von Lecture Notes in Computer Science, Seite 537-551. Springer, (2006)Preface., , , und . RV@CAV, Volume 144 von Electronic Notes in Theoretical Computer Science, Seite 1. Elsevier, (2005)The Reaction Algebra: A Formal Language for Event Correlation., , , und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 596-619. Springer, (2008)An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems., , , , , , , und . Tool Support for System Specification, Development and Verification, Seite 174-188. Springer, (1998)