Concepedia

Christoph Prybila

CP

Statistics

Publications

1

Citations

149

H-Index

1

Active since

2017

Affiliations

Data61(Current)

Christoph Prybila is an author at Data61 specializing in formal verification, data security, and formal methods.

Top concepts

Publications per year

2017–2017

1

Publications

1

Runtime verification for business processes utilizing the Bitcoin blockchain

Christoph Prybila, Stefan Schulte, Christoph Hochreiner et al. · Future Generation Computer Systems · 2017 · 149 citations · Full text

, , +8

1–1 of 1