| |
| 1997 | ||
|---|---|---|
| 3 | Jean-Raymond Gagné, John Plaice: The Non-Standard Semantics of Esterel. ASIAN 1997: 381-382 | |
| 1996 | ||
| 2 | Jean-Raymond Gagné, John Plaice: A Non-Standard Temporal Deductive Database System. J. Symb. Comput. 22(5/6): 649-664 (1996) | |
| 1985 | ||
| 1 | Ali Mili, Jules Desharnais, Jean-Raymond Gagné: Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Inf. 22(1): 47-66 (1985) | |
| 1 | Jules Desharnais | [1] |
| 2 | Ali Mili | [1] |
| 3 | John Plaice | [2] [3] |