KIT - Priority Programme 2514 - Members

Picture of Prof. Dr. Benjamin Kaminski

Prof. Dr. Benjamin Kaminski

P9
Gruppe: Saarland University, Group Leader 'Quantitative Verification'
kaminski ∂does-not-exist.cs uni-saarland de
quave.cs.uni-saarland.de/benjamin-kaminski/