@inproceedings{ABL+01,
title = {Analyzing Fair Parametric Extended Automata },
author = {Annichini-Collomb, Aurore and Bouajjani, Ahmed and Lakhnech, Yassine and Sighireanu, Mihaela},
year = {2001},
booktitle = {Static Analysis Symposium 2001},
series = {lncs},
volume = {2126},
team = {DCS},
}
