The following pages link to Marie Fortin (Q2164218):
Displayed 10 items.
- Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems (Q2164219) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Spatial autocorrelation and statistical tests: some solutions (Q2260085) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- (Q3304111) (← links)
- (Q5009419) (← links)
- (Q5091278) (← links)
- Spatial data analysis in ecology and agriculture using R, Richard E.Plant, Boca Raton, FL: CRC Press, 2019. (Q5128810) (← links)
- (Q6168463) (← links)