Max Michel

	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

Coauthor Index

1	Olivier Carton	[4] [5]
2	Patrice Enjalbert	[2]
3	Jean-Bernard Stefani	[3]

Colors in the list of coauthors