A probabilistic quantitative analysis of probabilistic-write/copy-select

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

10 May 2013 → 22 May 2013

Description

Conference

Title	5th NASA Formal Methods Symposium
Abbreviated title	NFM 2013
Conference number	5
Duration	14 - 16 May 2013
Degree of recognition	International event
City	Moffett Field
Country	United States of America

Keywords

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select

Baier, C., Engel, B., Klüppelholz, S., Märcker, S., Tews, H. & Völp, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Brat, G., Rungta, N. & Venet, A. (eds.). Springer, Berlin [u. a.], p. 307-321 15 p. (Lecture Notes in Computer Science, Volume 7871).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden