Yazar
André, Étienne. editor. (orcid)0000-0001-8473-9555
Format:
Electronic Resources
Alıntı:
and non-linear systems; timed automata; special session on timed systems and probabilities.
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of
View Other Search Results
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models
Arama Sonuçlarını Sınırlandır
Daraltılmış: