dblp.uni-trier.dewww.uni-trier.de

Max Michel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
5EEOlivier 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)