Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu pnueli!
Hier klicken für Ihr Exposé |
Hardi Hungar
Papers published by Hardi Hungar and r Amir Pnueli. Articles in category "Hardi Hungar and r Amir Pnueli Paper". There is 1 article in this category. …
Peter Niebert
Discriminative Model Checking. Peter Niebert. Doron Peled. Amir Pnueli. CAV 2008 … Peter …
Malte Zilinski
Malte Zilinski: Pnueli - The temporal logic of programs Literatur: A. Pnueli, The temporal logic of programs, in: Proceedings of the 18th IEEE Symposium on
Martin Hautzendorfer
Phan, Roderick Paul Bloem - "Formal Analysis of a TPM-Based Secrets Distribution … Roderick … Amir Pnueli, …
Leah Hoffmann
CACM Reports: In Memory of Com…ng Pioneer Amir Pnueli: Technology writer Leah Hoffmann remembers Pneueli, who died suddenly in November, as a man ahead of …
Walter Ozinger
... Carroll Morgan, Ernst-Ruediger Olderog, Benjamin Pierce, Amir Pnueli, ... Ewert Bengtsson, tel no +46-18-4714367, e-mail Ewert.Bengtsson@cb.uu.se. ...
Amir Goldberg
Pnueli, Amir,; Goldberg, Benjamin. Abstract. This is the final ..., pnueli
Sven Riesenberg
Dateiformat: Adobe PostScriptvon WP de Roever - Zitiert durch: 160 - Ähnliche ArtikelAmir Pnueli, Lasse Rempe, Sven Riesenberg, Fred Schneider, Markus Schnei-. …
Mordechai Halpern
Pnueli, Amir - AuthorMapper: Mordechai; Halpern, Joseph Y.; Pnueli, Amir. Download PDF ..., pnueli
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ