conf.researchr.org / Nils Jansen
Not registered as user yet
Name:Nils Jansen
Affiliation:RWTH Aachen University
Contributions
TACAS 2019 | Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track |
PPS 2016 | Author of On The Semantic Intricacies of Conditioning within the PPS 2016-track |