|
Search the dblp DataBase
Max Michel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Max Michel, Jean-Bernard Stefani
Interval Logics and Sequential Transducers. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:244-257 [Conf]
- Olivier Carton, Max Michel
Unambiguous Büchi Automata. [Citation Graph (0, 0)][DBLP] LATIN, 2000, pp:407-416 [Conf]
- Patrice Enjalbert, Max Michel
Many-Sorted Temporal Logic for Multi-Processes Systems. [Citation Graph (0, 0)][DBLP] MFCS, 1984, pp:273-281 [Conf]
- Max Michel
Algebre de machines et logique temporelle. [Citation Graph (0, 0)][DBLP] STACS, 1984, pp:287-298 [Conf]
- Olivier Carton, Max Michel
Unambiguous Büchi automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:1, n:297, pp:37-81 [Journal]
Search in 0.001secs, Finished in 0.001secs
|