( en | de | ru )

 

Disambiguierung von "D'Argenio, Pedro R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.

, und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 179-194. Springer, (2007)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Weitere Publikationen von Autoren mit dem selben Namen

On the verification of probabilistic I/O automata with unspecified rates., und . SAC, Seite 582-586. ACM, (2009)Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules., , und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 289-303. Springer, (2014)From Semantics to Spatial Distribution., , und . LATIN, Volume 1776 von Lecture Notes in Computer Science, Seite 427-436. Springer, (2000)Axiomatising Divergence., , und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 585-596. Springer, (2002)Sampling Distributed Schedulers for Resilient Space Communication., , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 291-310. Springer, (2020)General Distributions in Process Algebra., und . European Educational Forum: School on Formal Methods and Performance Analysis, Volume 2090 von Lecture Notes in Computer Science, Seite 375-430. Springer, (2000)Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization., , , und . QEST, Seite 11-20. IEEE Computer Society, (2009)Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable"., , und . (Mai 2024)An algebraic approach to the specification of stochastic systems., , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 126-147. Chapman & Hall, (1998)Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism., und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 132-152. Springer, (2018)