%0 Conference Paper %1 conf/wia/GantyMR09 %A Ganty, Pierre %A Maquet, Nicolas %A Raskin, Jean-François %B CIAA %D 2009 %E Maneth, Sebastian %I Springer %K dblp %P 155-164 %T Fixpoint Guided Abstraction Refinement for Alternating Automata. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2009.html#GantyMR09 %V 5642 %@ 978-3-642-02978-3

@inproceedings{conf/wia/GantyMR09, added-at = {2017-05-25T00:00:00.000+0200}, author = {Ganty, Pierre and Maquet, Nicolas and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/2da2b62b42682ef2b36e80cef85991c4d/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2009}, editor = {Maneth, Sebastian}, ee = {https://doi.org/10.1007/978-3-642-02979-0_19}, interhash = {f8b291c2d187169748e3fbf05be41e25}, intrahash = {da2b62b42682ef2b36e80cef85991c4d}, isbn = {978-3-642-02978-3}, keywords = {dblp}, pages = {155-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:57:39.000+0200}, title = {Fixpoint Guided Abstraction Refinement for Alternating Automata.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2009.html#GantyMR09}, volume = 5642, year = 2009 }