• 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

2019

TACAS

  • Author of Optimal Time-Bounded Reachability Analysis for Concurrent Systems within the TACAS 2019-track

VMCAI

  • Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track
Share
xFri 23 May 17:27
using conf.researchr.org (v1.69.0)
Support page
Sign Up