( en | de | ru )

 

Disambiguierung von "Pietro, Pierluigi San"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Presburger liveness verification of discrete timed automata.

, , und . Theor. Comput. Sci., 299 (1-3): 413-438 (2003)

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.

San San Lin

San San Hmwe

Pierluigi Casale

Pierluigi Ramadori

Pierluigi Migliano

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations., , , und . ICA3PP, Volume 5022 von Lecture Notes in Computer Science, Seite 185-195. Springer, (2008)Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter., , und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 132-143. Springer, (2001)From Regular to Strictly Locally Testable Languages, und . WORDS, Volume 63 von EPTCS, Seite 103-111. (2011)A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO., , und . Autom. Softw. Eng., 7 (2): 125-155 (2000)Verification in loosely synchronous queue-connected discrete timed automata., , und . Theor. Comput. Sci., 290 (3): 1713-1735 (2003)Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding., und . LATA, Volume 12638 von Lecture Notes in Computer Science, Seite 241-254. Springer, (2021)Two-Dimensional Dyck Words (short paper) (text not included)., , und . ICTCS, Volume 3587 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reducing the Local Alphabet Size in Tiling Systems for Picture Languages., , und . ICTCS, Volume 3072 von CEUR Workshop Proceedings, Seite 199-204. CEUR-WS.org, (2021)The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties., , und . ESEC/SIGSOFT FSE, Seite 312-320. ACM, (2007)A Tool for Automated System Analysis based on Modular Specifications., , und . ASE, Seite 2-11. IEEE Computer Society, (1998)