Skip to content
cs-conference-ranking.org

The Complete Proof Theory of Hybrid Systems.

Andr Platzer

VenueA*LICS
Year2012
ProceedingsLICS
DBLP recordconf/lics/Platzer12a ↗

Browse the full LICS paper archive.