Max Michel

Algebre de machines et logique temporelle

Max Michel, 1984, STACS.

Interval Logics and Sequential Transducers

Jean-Bernard Stefani, Max Michel, J. Stefani, 1988, CAAP.

Many-Sorted Temporal Logic for Multi-Processes Systems

Patrice Enjalbert, Max Michel, 1984, MFCS.

Unambiguous Büchi automata

Olivier Carton, Max Michel, 2003, Theor. Comput. Sci..

Unambiguous Büchi Automata

Olivier Carton, Max Michel, 2000, LATIN.