%0 Conference Paper %1 conf/vmcai/GantyRB06 %A Ganty, Pierre %A Raskin, Jean-François %A Begin, Laurent Van %B VMCAI %D 2006 %E Emerson, E. Allen %E Namjoshi, Kedar S. %I Springer %K dblp %P 49-64 %T A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#GantyRB06 %V 3855 %@ 3-540-31139-4

@inproceedings{conf/vmcai/GantyRB06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Ganty, Pierre and Raskin, Jean-François and Begin, Laurent Van}, biburl = {https://www.bibsonomy.org/bibtex/2f21b7c22e5ad49f15ed1487d9bdbb57d/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2006}, editor = {Emerson, E. Allen and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/11609773_4}, interhash = {88f1bc911ddc2af0924ad6516517e14b}, intrahash = {f21b7c22e5ad49f15ed1487d9bdbb57d}, isbn = {3-540-31139-4}, keywords = {dblp}, pages = {49-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:04.000+0200}, title = {A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#GantyRB06}, volume = 3855, year = 2006 }