Max Michel

Publication Activity (10 Years)

Years Active: 1984-2003
Publications (10 Years): 0

Publications

Olivier Carton, Max Michel
Unambiguous Büchi automata. Theor. Comput. Sci. 297 (1-3) (2003)
Olivier Carton, Max Michel
Unambiguous Büchi Automata. LATIN (2000)
Max Michel, Jean-Bernard Stefani
Interval Logics and Sequential Transducers. CAAP (1988)
Patrice Enjalbert, Max Michel
Many-Sorted Temporal Logic for Multi-Processes Systems. MFCS (1984)
Max Michel
Algebre de machines et logique temporelle. STACS (1984)