PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pagnoni, Anastasia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Guidelines on using net analysis techniques with large specifications.

, , , , , und . Applications and Theory in Petri Nets, Volume 222 von Lecture Notes in Computer Science, Seite 142-161. Springer, (1985)

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.

Anastasia Bauernfeind University of Stuttgart

Anastasia Shamakina University of Stuttgart

Anastasia Tsianaka University of Stuttgart

Anastasia Fomina University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Guidelines on using net analysis techniques with large specifications., , , , , und . Applications and Theory in Petri Nets, Volume 222 von Lecture Notes in Computer Science, Seite 142-161. Springer, (1985)A Fair Competition Between Two or More Partners.. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Volume 52 von Informatik-Fachberichte, Seite 327-337. Springer, (1981)Error-correcting Petri nets.. Natural Computing, 10 (2): 711-725 (2011)Stochastic Nets and Performance Evaluation.. Advances in Petri Nets, Volume 254 von Lecture Notes in Computer Science, Seite 460-478. Springer, (1986)Secure electronic bills of lading: blind counts and digital signatures., und . Electron. Commer. Res., 10 (3-4): 363-388 (2010)Liveness and duality in marked-graph-like predicate/transition nets., und . European Workshop on Applications and Theory in Petri Nets, Volume 188 von Lecture Notes in Computer Science, Seite 331-352. Springer, (1984)Profiling Network Attacks Via AIS., und . WIRN/NAIS, Volume 3931 von Lecture Notes in Computer Science, Seite 272-277. Springer, (2005)Detecting and Correcting Operation Errors of Distributed Systems.. Bulletin of the EATCS, (1996)Securing Uniqueness of Rights e-Documents: A Deontic Process Perspective., , und . JTAER, 3 (3): 83-102 (2008)Detection and Analysis of Unexpected State Components in Biological Systems., und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 172. Springer, (2003)