Benedikt Bollig
Full-time Researcher, CNRS
include.html
Research interests
- Formal languages and automata theory
- Concurrency theory
Recent Publications
All publications
Some talks
DBLP entry
Teaching
Other activities
Book

Tools
- libalf -
The Automata Learning Framework
- Smyle -
Synthesizing Models by Learning from Examples
- MSCan -
A Tool for Analyzing MSC Specifications