Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
How to get here?
Log In
Journées GT Verif du GDR IM
June 15, 2015
no seminar
Journées GT Verif du GDR IM
Post navigation
Example of computation in living cells, gene assembly in ciliates
Trading Bounds for Memory in Games with Counters
