( en | de | ru )

 

Disambiguierung von "Ciardo, Gianfranco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the minimum of independent geometrically distributed random variables

, , und . Statistics & Probability Letters, 23 (4): 313--326 (Juni 1995)

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.

Gianfranco Walsh

Gianfranco Gentile

Gianfranco Hagen

Gianfranco Pacchioni

Gianfranco Casuso

 

Weitere Publikationen von Autoren mit dem selben Namen

Stochastic Petri Net Analysis of a Replicated File System., und . PNPM, Seite 84-92. IEEE Computer Society, (1987)Discrete-Event Simulation of Fluid Stochastic Petri Nets., , und . IEEE Trans. Software Eng., 25 (2): 207-217 (1999)Parallelising Symbolic State-Space Generators., , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 268-280. Springer, (2007)Distributed and Structured Analysis Approaches to Study Large and Complex Systems.. European Educational Forum: School on Formal Methods and Performance Analysis, Volume 2090 von Lecture Notes in Computer Science, Seite 344-374. Springer, (2000)Panel: Applications of Performance Petri Nets., , , , , und . PNPM, Seite 164. IEEE Computer Society, (1989)Dependability and Performability Analysis., , , und . Performance/SIGMETRICS Tutorials, Volume 729 von Lecture Notes in Computer Science, Seite 587-612. Springer, (1993)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , und 9 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2019)Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning., und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2005)Efficient Reachability Set Generation and Storage Using Decision Diagrams., und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 6-25. Springer, (1999)Modeling a scalable high-speed interconnect with stochastic Petri nets., , , und . PNPM, Seite 83-92. IEEE Computer Society, (1995)