( en | de | ru )

 

Disambiguierung von "Nicola, Rocco De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Logic for Performance and Mobility.

, , , und . QAPL, Volume 153 von Electronic Notes in Theoretical Computer Science, Seite 161-175. Elsevier, (2005)

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.

Nicola De Cono

Anton Rocco

Rocco Hüneke

Rocco Pöhlandt

Goranka Rocco

 

Weitere Publikationen von Autoren mit dem selben Namen

Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)A Completeness Theorem fro Nondeterministic Kleene Algebras., und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 536-545. Springer, (1994)CCS is an (Augmented) Contact Free C/E System., , und . Mathematical Models for the Semantics of Parallelism, Volume 280 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1986)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 37-47. Springer, (1991)A formal approach to autonomic systems programming: the SCEL language.. ICTCS, Volume 1231 von CEUR Workshop Proceedings, Seite 1. CEUR-WS.org, (2014)Online User Behavioural Modeling with Applications to Price Steering., , , und . FINREC, Volume 1606 von CEUR Workshop Proceedings, Seite 16-21. CEUR-WS.org, (2016)Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes., , und . TGC, Volume 6084 von Lecture Notes in Computer Science, Seite 35-56. Springer, (2010)Orchestrating Tuple-Based Languages., , und . TGC, Volume 7173 von Lecture Notes in Computer Science, Seite 160-178. Springer, (2011)Types as Specifications of Access Policies., , und . Secure Internet Programming, Volume 1603 von Lecture Notes in Computer Science, Seite 118-146. Springer, (1999)Proof Techniques for Cryptographic Processes., , und . LICS, Seite 157-166. IEEE Computer Society, (1999)