( en | de | ru )

 

Disambiguierung von "Delzanno, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Verification and Model Checking for Distributed Broadcast Protocols.

. ICGT, Volume 8571 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2014)

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.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptation and Personalization in Computer Science Education: APCSE '20., , und . UMAP, Seite 400-401. ACM, (2020)Forum Objects., und . GULP-PRODE, Seite 283-294. (1995)A Bottom-Up Characterization of Finite Success., und . ILPS, Seite 676. MIT Press, (1993)Constraint-based automatic verification of abstract models of multithreaded programs.. Theory Pract. Log. Program., 7 (1-2): 67-91 (2007)On the Qualitative Analysis of Conformon P Systems., , und . Workshop on Membrane Computing, Volume 5391 von Lecture Notes in Computer Science, Seite 78-94. Springer, (2008)On the Dynamics of PB Systems with Volatile Membranes., und . Workshop on Membrane Computing, Volume 4860 von Lecture Notes in Computer Science, Seite 240-256. Springer, (2007)Algorithmic Verification of Invalidation-Based Protocols., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 295-308. Springer, (2002)Attacking Symbolic State Explosion., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 298-310. Springer, (2001)Constraint-Based Verification of Client-Server Protocols., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 286-301. Springer, (2001)Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , und . ALP4IoT@iFM, Volume 264 von EPTCS, Seite 27-42. (2017)