![]() | ![]() |
1993 | ||
---|---|---|
3 | André Arnold, Anne Dicky: Equivalences and Preorders of Transition Systems. MFCS 1993: 20-31 | |
1992 | ||
2 | André Arnold, Anne Dicky, Maurice Nivat: A note about minimal non-deterministic automata. Bulletin of the EATCS 47: 166-169 (1992) | |
1989 | ||
1 | André Arnold, Anne Dicky: An Algebraic Characterization of Transition System Equivalences Inf. Comput. 82(2): 198-229 (1989) |
1 | André Arnold | [1] [2] [3] |
2 | Maurice Nivat | [2] |