• Sign in
  • Sign up
conf.researchr.org / Gereon Fox
  • ETAPS 2019 profile
  • POPL 2019 profile

Registered user since Tue 11 Dec 2018

Name:Gereon Fox
Personal website:https://depend.cs.uni-saarland.de/~fox/

Contributions

TACAS 2019 Author of Optimal Time-Bounded Reachability Analysis for Concurrent Systems within the TACAS 2019-track
VMCAI 2019 Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track

Share
xTue 28 Mar 15:07
using conf.researchr.org (v1.60.0)
Support page
Sign Up