Publications

Filters: Author is Bernd Finkbeiner  [Clear All Filters]
2015
J. - P. Katoen, “Probabilistic Programming: {A} True Verification Challenge”, in Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings, 2015.