Max Michel

According to our database, Max Michel authored at least 4 papers between 1984 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Unambiguous Büchi automata.

Olivier Carton, Max Michel

Theor. Comput. Sci., 2003

1988

Interval Logics and Sequential Transducers.

Max Michel, Jean-Bernard Stefani

Proceedings of the CAAP '88, 1988

1984

Algebre de machines et logique temporelle.

Max Michel

Proceedings of the STACS 84, 1984

Many-Sorted Temporal Logic for Multi-Processes Systems.

Patrice Enjalbert, Max Michel

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984