PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pnueli, Amir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Network Invariants in Action.

, , , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2002)

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.

Amir Laadhar University of Stuttgart

Amir Reza Zargar University of Stuttgart

Amir Bani Mohammad Ali University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Linear-History Semantics for Languages for Distributed Programming., , und . Theor. Comput. Sci., (1984)Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System., , und . Theor. Comput. Sci., (1984)A Choppy Logic, und . LICS, Seite 306-313. IEEE Computer Society, (1986)Completing the Temporal Picture., und . Theor. Comput. Sci., 83 (1): 91-130 (1991)A compositional approach to CTL* verification., und . Theor. Comput. Sci., 331 (2-3): 397-428 (2005)Temporal verification of reactive systems - safety., und . Springer, (1995)Timing analysis of asynchronous circuits using timed automata., und . CHARME, Volume 987 von Lecture Notes in Computer Science, Seite 189-205. Springer, (1995)The Temporal Semantics of Concurrent Programs.. Semantics of Concurrent Computation, Volume 70 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1979)Embedded Systems: Challenges in Specification and Verification.. EMSOFT, Volume 2491 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2002)Time for Concurrency., und . 25th Anniversary of INRIA, Volume 653 von Lecture Notes in Computer Science, Seite 129-153. Springer, (1992)