catalog
Stéphane Demri
No bio available.
OpenLibrary

author

The most notable books by Stéphane Demri, populated from OpenLibrary.
Automated Reasoning
Temporal Logics in...
Temporal Logics in...