Nicolas Amat
Nicolas Amat
Home
Publications
Softwares
Open science
Talks
Teaching
Service
Distinctions
Experience
Contact
Light
Dark
Automatic
Tags
Structural Reductions
Reachability problem
Concurrent Places
Reachability
SMT solving
Other
Teaching
«
Cite
×