Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PROBMIV"( http://dblp.L3S.de/Venues/PROBMIV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/probmiv

Publication years (Num. hits)
1998 (11) 1999 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
PROBMIV(12)
Authors
Christel Baier(4) Marta Z. Kwiatkowska(3) Mark Ryan 0001(2) Michael Huth 0001(2) Annabelle McIver(1) Carlos Gregorio-Rodríguez(1) Christoph Meinel(1) Edmund M. Clarke(1) Erik P. de Vink(1) Gethin Norman(1) Harald Sack(1) Holger Hermanns(1) Jerry den Hartog(1) Joost-Pieter Katoen(1) Luca de Alfaro(1) Manuel Núñez 0001(1) More (+10 of total 20)
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
1Christel 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 PROBMIV The full citation details ... 1999 DBLP  BibTeX  RDF
1Christoph Meinel, Harald Sack Parity-OBDDs - a BDD structure for Probabilistic Verification. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Annabelle McIver Reasoning about efficiency within a probabilistic µ-calculus. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink Mixing Up Nondeterminism and Probability: a preliminary report. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Segala The Essence of Coin Lemmas. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro From Fairness to Chance. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christel Baier, Marta Z. Kwiatkowska, Gethin Norman Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Carlos Gregorio-Rodríguez, Manuel Núñez 0001 Denotational Semantics for Probabilistic Refusal Testing. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen On Generative Parallel Composition. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Prakash Panangaden The Category of Markov Kernels. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christel Baier, Michael Huth 0001, Marta Z. Kwiatkowska, Mark Ryan 0001 Preface. Search on Bibsonomy PROBMIV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license