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

Publications

Publications
Filtres

Contact

Disciplines

Mots-clefs

Auteurs

Revues

Année de production

Institutions

Laboratoires

Départements

Équipes de recherche

0 documents

Documents récupérés de l'archive ouverte HAL

Next seminars

Synthesizing rational behaviors while caring for resources
October 3, 2022
Catalin Dima

© 2022 LACL