PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Desharnais, Josee"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Metrics for labelled Markov processes.

, , , und . Theor. Comput. Sci., 318 (3): 323-354 (2004)

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.

Keine Personen gefunden für den Autorennamen Desharnais, Josee
Eine Person hinzufügen mit dem Namen Desharnais, Josee
 

Weitere Publikationen von Autoren mit dem selben Namen

Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs., , , , und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 403-418. Springer, (2015)Weak Bisimulation is Sound and Complete for PCTL*., , , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 355-370. Springer, (2002)Metrics for Labeled Markov Systems., , , und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 258-273. Springer, (1999)A Demonic Approach to Information in Probabilistic Systems., , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 289-304. Springer, (2009)Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games., , und . QEST, Seite 264-273. IEEE Computer Society, (2008)The Metric Analogue of Weak Bisimulation for Probabilistic Processes., , , und . LICS, Seite 413-422. IEEE Computer Society, (2002)Weak bisimulation is sound and complete for pCTL*., , , und . Inf. Comput., 208 (2): 203-219 (2010)Metrics for labelled Markov processes., , , und . Theor. Comput. Sci., 318 (3): 323-354 (2004)Analysis of Non-Linear Probabilistic Hybrid Systems, und . QAPL, Volume 57 von EPTCS, Seite 104-119. (2011)Continuous Time and/or Continuous Distributions., und . EPEW, Volume 6342 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2010)