@inproceedings{CarayolHague:SaturationSurvey:2014,
    Abstract = {We present a survey of the saturation method for model-checking pushdown systems.},
    Author = {Carayol, Arnaud and Hague, Matthew},
    BookTitle = {Proc. of AFL'14},
    EPrint = {1405.5593},
    Editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an},
    File = {Saturation algorithms for model-checking pushdown systems - Carayol, Hague (0) (0) - a - a - l.pdf},
    Keywords = {saturation method},
    Month = {05},
    Pages = {1--24},
    Publisher = {Open Publishing Association},
    Series = {EPTCS},
    Title = {Saturation algorithms for model-checking pushdown systems},
    URL = {http://arxiv.org/abs/1405.5593},
    Volume = {151},
    Year = {2014},
    bdsk-url-1 = {http://arxiv.org/abs/1405.5593},
    bdsk-url-2 = {https://doi.org/10.4204/EPTCS.151.1},
    date-added = {2015-02-02 10:17:29 +0000},
    date-modified = {2015-02-02 16:28:15 +0000},
    doi = {10.4204/EPTCS.151.1}
}

@inproceedings{CarayolHague:SaturationSurvey:2014, Abstract = {We present a survey of the saturation method for model-checking pushdown systems.}, Author = {Carayol, Arnaud and Hague, Matthew}, BookTitle = {Proc. of AFL'14}, EPrint = {1405.5593}, Editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, File = {Saturation algorithms for model-checking pushdown systems - Carayol, Hague (0) (0) - a - a - l.pdf}, Keywords = {saturation method}, Month = {05}, Pages = {1--24}, Publisher = {Open Publishing Association}, Series = {EPTCS}, Title = {Saturation algorithms for model-checking pushdown systems}, URL = {http://arxiv.org/abs/1405.5593}, Volume = {151}, Year = {2014}, bdsk-url-1 = {http://arxiv.org/abs/1405.5593}, bdsk-url-2 = {https://doi.org/10.4204/EPTCS.151.1}, date-added = {2015-02-02 10:17:29 +0000}, date-modified = {2015-02-02 16:28:15 +0000}, doi = {10.4204/EPTCS.151.1} }