Christian Fontenot -

Not registered as user

Name:Christian Fontenot

Affiliation:University of Colorado Boulder

Contributions

2025

TPSA

Author of Cyclic Message Histories for Automated Safety Verification of Distributed Algorithms within the TPSA 2025-track