@inproceedings{ALL03,
title = {Finite state machines: composition, verification, minimization: a case study },
author = {Amblard, Paul and Lagnier, Fabienne and Levy, Michel},
month = {June 26-28},
year = {2003},
booktitle = {10th International Conference on Mixed Design (MIXDES03), Lodz, Poland},
team = {SYNC},
}