|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christel Baier, Michael Huth 0001, Marta Z. Kwiatkowska, Mark Ryan 0001 (eds.) |
First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Christoph Meinel, Harald Sack |
Parity-OBDDs - a BDD structure for Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 156-170, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver |
Reasoning about efficiency within a probabilistic µ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 138-155, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jerry den Hartog, Erik P. de Vink |
Mixing Up Nondeterminism and Probability: a preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 88-110, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen |
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 3-28, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Segala |
The Essence of Coin Lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 188-207, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro |
From Fairness to Chance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 55-87, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Marta Z. Kwiatkowska, Gethin Norman |
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 29, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gregorio-Rodríguez, Manuel Núñez 0001 |
Denotational Semantics for Probabilistic Refusal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 111-137, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen |
On Generative Parallel Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 30-54, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
The Category of Markov Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 171-187, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Michael Huth 0001, Marta Z. Kwiatkowska, Mark Ryan 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 1-2, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|