Concepedia

Max Michel

MM

1

Publications

52

Citations

1

H-Index

2003

Active since

Affiliations

Laboratoire d'Informatique Gaspard-Monge(Current)

Max Michel is an author at Laboratoire d'Informatique Gaspard-Monge specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal Verification

Publications per year

2003–2003

1

Publications

1

Unambiguous Büchi automata

Olivier Carton, Max Michel · Theoretical Computer Science · 2003 · 52 citations

Logical Automaton, Engineering, Automated Reasoning +6

Rows per page

1–1 of 1