| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 5 |      | 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] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page