Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marie Fortin
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parutions Récentes en Études Québécoises
Globe: Revue internationale d’études québécoises
Parutions Récentes en Études Québécoises
Globe: Revue internationale d’études québécoises