%0 Conference Paper %1 conf/sas/BouajjaniCLS01 %A Bouajjani, Ahmed %A Collomb-Annichini, Aurore %A Lakhnech, Yassine %A Sighireanu, Mihaela %B SAS %D 2001 %E Cousot, Patrick %I Springer %K dblp %P 335-355 %T Analyzing Fair Parametric Extended Automata. %U http://dblp.uni-trier.de/db/conf/sas/sas2001.html#BouajjaniCLS01 %V 2126 %@ 3-540-42314-1

@inproceedings{conf/sas/BouajjaniCLS01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bouajjani, Ahmed and Collomb-Annichini, Aurore and Lakhnech, Yassine and Sighireanu, Mihaela}, biburl = {https://www.bibsonomy.org/bibtex/2b23ab6afe7bcb8c0c729ac0c0ff98733/dblp}, booktitle = {SAS}, crossref = {conf/sas/2001}, editor = {Cousot, Patrick}, ee = {https://doi.org/10.1007/3-540-47764-0_19}, interhash = {82338a6229d0067338fef68aed3a2d65}, intrahash = {b23ab6afe7bcb8c0c729ac0c0ff98733}, isbn = {3-540-42314-1}, keywords = {dblp}, pages = {335-355}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {Analyzing Fair Parametric Extended Automata.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2001.html#BouajjaniCLS01}, volume = 2126, year = 2001 }