Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
libre
December 14, 2020
Post navigation
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Simulation et synthèse garantie de Systèmes Cyber-Physiques
