PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cheikhrouhou, Lassaad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automating Interactive Protocol Verification.

, , , , und . KI, Volume 5243 von Lecture Notes in Computer Science, Seite 30-37. Springer, (2008)

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.

Keine Personen gefunden für den Autorennamen Cheikhrouhou, Lassaad
Eine Person hinzufügen mit dem Namen Cheikhrouhou, Lassaad
 

Weitere Publikationen von Autoren mit dem selben Namen

Omega: Towards a Mathematical Assistant., , , , , , , , , und 3 andere Autor(en). CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 252-255. Springer, (1997)Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE., , , , und . Sicherheit, Volume P-195 von LNI, Seite 83-94. GI, (2012)Adaptation of Declaratively Represented Methods in Proof Planning., , und . Ann. Math. Artif. Intell., 23 (3-4): 299-320 (1998)L<Omega>UI: Lovely <Omega>MEGA User Interface., , , , , , , , , und 2 andere Autor(en). Formal Asp. Comput., 11 (3): 326-342 (1999)Automating Interactive Protocol Verification., , , , und . KI, Volume 5243 von Lecture Notes in Computer Science, Seite 30-37. Springer, (2008)Planning Diagonalization Proofs.. KI, Volume 1303 von Lecture Notes in Computer Science, Seite 377-380. Springer, (1997)Verifying a Chipcard-Based Biometric Identification Protocol in VSE., , , , und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 42-56. Springer, (2006)Proof Development with OMEGA., , , , , , , , , und 7 andere Autor(en). CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 144-149. Springer, (2002)Planning Diagonalization Proofs., und . AIMSA, Volume 1480 von Lecture Notes in Computer Science, Seite 167-180. Springer, (1998)