EPTCS 28 - QAPL 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5107
- ask others
Alessandra Di Pierro, Gethin Norman (Eds.): Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages. 2010 EPTCS 28 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5094
- ask others
Alessandro Aldini: Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5095
- ask others
Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. ... 16-33
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5096
- ask others
Damián Barsotti, Nicolás Wolovick: Automatic Probabilistic Program Verification through Random Variable Abstraction. ... 34-47
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5097
- ask others
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games. ... 48-63
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5098
- ask others
David Cachera, Arnaud Jobin: Injecting Abstract Interpretations into Linear Cost Models. ... 64-81
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5099
- ask others
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina: Stochastic Calculus of Wrapped Compartments. ... 82-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5100
- ask others
Sonja Georgievska, Suzana Andova: Testing Reactive Probabilistic Processes. ... 99-113
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5101
- ask others
Matthias Güdemann, Frank Ortmeier: Probabilistic Model-Based Safety Analysis. ... 114-128
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5102
- ask others
Ukachukwu Ndukwu, Annabelle McIver: An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. ... 129-143
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5103
- ask others
Markus Rabe, Sven Schewe: Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. ... 144-158
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1006-5104
- ask others
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: A new tool for the performance analysis of massively parallel computer systems. ... 159-181