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 |