![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc: Solving Linear Equations in *-continuous Action Lattices. RelMiCS 2008: 289-303 |
2005 | ||
1 | EE | Claude Bolduc, Jules Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72 |
1 | Jules Desharnais | [1] |
2 | Béchir Ktari | [2] |
3 | François Lajeunesse-Robert | [2] |