Skip to content

Logics of Dynamical Systems.

Andr Platzer

VenueA*LICS
Year2012
ProceedingsLICS

Browse the full LICS paper archive.