| |
| 2003 | ||
|---|---|---|
| 5 | EE | Olivier Carton, Max Michel: Unambiguous Büchi automata. Theor. Comput. Sci. 297(1-3): 37-81 (2003) |
| 2000 | ||
| 4 | Olivier Carton, Max Michel: Unambiguous Büchi Automata. LATIN 2000: 407-416 | |
| 1988 | ||
| 3 | Max Michel, Jean-Bernard Stefani: Interval Logics and Sequential Transducers. CAAP 1988: 244-257 | |
| 1984 | ||
| 2 | Patrice Enjalbert, Max Michel: Many-Sorted Temporal Logic for Multi-Processes Systems. MFCS 1984: 273-281 | |
| 1 | Max Michel: Algebre de machines et logique temporelle. STACS 1984: 287-298 | |
| 1 | Olivier Carton | [4] [5] |
| 2 | Patrice Enjalbert | [2] |
| 3 | Jean-Bernard Stefani | [3] |