default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st PROBMIV 1998: Indianapolis, IN, USA
- Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 22, Elsevier 1999 - Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
:
Preface. 1-2 - Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen:
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. 3-28 - Christel Baier, Marta Z. Kwiatkowska, Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. 29 - Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
On Generative Parallel Composition. 30-54 - Luca de Alfaro:
From Fairness to Chance. 55-87 - Jerry den Hartog, Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report. 88-110 - Carlos Gregorio-Rodríguez, Manuel Núñez:
Denotational Semantics for Probabilistic Refusal Testing. 111-137 - Annabelle McIver:
Reasoning about efficiency within a probabilistic µ-calculus. 138-155 - Christoph Meinel, Harald Sack:
Parity-OBDDs - a BDD structure for Probabilistic Verification. 156-170 - Prakash Panangaden:
The Category of Markov Kernels. 171-187 - Roberto Segala:
The Essence of Coin Lemmas. 188-207
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
