Analyzing Fair Parametric Extended Automata.

Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu

Browse the full SAS paper archive.