PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Delzanno, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monotonic Abstraction: on Efficient Verification of Parameterized Systems.

, , , und . Int. J. Found. Comput. Sci., 20 (5): 779-801 (2009)

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.

Univ. -Prof. Dr. -Ing. Giorgio Cattaneo University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A classification of the expressive power of well-structured transition systems., , und . Inf. Comput., 209 (3): 248-279 (2011)Constraint-based automatic verification of abstract models of multithreaded programs.. TPLP, 7 (1-2): 67-91 (2007)Monotonic Abstraction: on Efficient Verification of Parameterized Systems., , , und . Int. J. Found. Comput. Sci., 20 (5): 779-801 (2009)A Bottom-Up Characterization of Finite Success., und . ILPS, Seite 676. MIT Press, (1993)Forum Objects., und . GULP-PRODE, Seite 283-294. (1995)The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , und . CoRR, (2012)Constraint-based automatic verification of abstract models of multithreaded programs. CoRR, (2006)Multi-agent Systems Development as a Software Engineering Enterprise., , , , und . PADL, Volume 1551 von Lecture Notes in Computer Science, Seite 46-60. Springer, (1999)Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)., , , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 721-736. Springer, (2007)Constraint-Based Verification of Client-Server Protocols., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 286-301. Springer, (2001)