Verimag

bibtex

@inproceedings{MS14,
    title = {Speeding Up Logico-Numerical Strategy Iteration },
    author = {Monniaux, David and Schrammel, Peter},
    year = {2014},
    booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich, Germany, September 11-13, 2014. Proceedings},
    eprint = {1403.2319},
    pages = {253--267},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8723},
    team = {SYNC, PACSS},
    timestamp = {Thu, 13 Nov 2014 04:44:25 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/sas/2014}, bibsource = {dblp computer science bibliography, http://dblp.org}, category = {intc}, eprinttypet.jsprinttypet.jiv cate inblp ;cnbsp;Wectutroduputan effi comtrce b=en">Di of relyhedrInta= {Statiaux,iptdng=eenbss="">Dishe. Templ=eenbelyhedrInta= {Statiablp ;cns nUp LogicovariablLectusis aaes dencm by { nbelyhedrDi pdblv idrol cripdia="pwithaaes ioriunctedheadmedia=s f&nbbscrfaces. Tscrlp oheralyindup recyinvarianlyin s>Dits" n">Di Colud lesisjnt).reatiaux,exis Miicoquaame="DCs (a s>Di f&nban exp { Miicosre of raths)* hisyinvarianlycan berce = {dd by arce b=en">Di of lp mericai Strategiaux,sratsfiability modulSubsc}, (SMT)ue lvshe. U- artu relly,bbscraboecyaps daDie irccortle =to iptdng=ees. Wecbsc TA Ds dposela mode="cn">Di of tscrlp mericai Strategialg},ithm whc tscrlp meriigné crlpTA d s>Di. Wechaecyimpll.orgedp;scrtechne-infadeaes dto, toolbandpw!--emeatp mer egianbsp;&nbof examplls=thrt bscraps da l?lang=en">h, ).reaticle3- entulDebut> l?lang=en">P-SynDave_out.org/ /ut>ebut> l?lang=en">P-S.phpd-by-kindut.org/ /ut>ebut> l?lang=en">P-by-bsp;tt.org/ /ut>ebut> l?lang=en">P-by-bsp;t,255t.org/ /ut>ebut> l?lang=en">P-by-bsp;tt.org/ /ut>ebut> l?lang=en">P-by-bsp;t,255t.org/ /ut>ebut> l?lang=en">P-by-bsp;t,256t.org/ /ut>ebut> l?lang=en">P-by-kindut.org/ /ut>ebut> by-bsp;t.org/ /ut>ebut> C:jusees-bss-rticlt.org/ /ut>eb/ulD ojets --> ojets --> rat et{oyss=edia="pjets :00:02Z ipal *, #bl********** ---> nMongms,Diss > --> h2gn:justirtrueries">Browsle cle2> -> bibtex bibtex b b b b b b b b boh3gn:justirtrueries">, ).reaticle3- b boulDh -> x-icon> bibtex< t="Vecla> bibtex< bibtex< bibtex< b bibtex< bibtex< bibtex< b /ut> bibtex< b on> bibtex< " contecla> bibtex< bibtex< bibtex< b bibtex< bibtex< bibtex< b /ut> bibtex< b on> bibtex< Dissem bibtex< bibtexx< b tex< b tex< b tex< b b bibtexx<< b b tex< b tex b tex< b b tex< b tex<< b tex< b b tex<< b b b b bibtexx<< b b tex< b texx<< b b tex< b tex b tex< b b tex< b tex<< b tex< b b tv>x b tex< b tex b tex< b b tex< b tex<< b tex< b b tex<< b b b b bibtexx<< b b tex< b tex< b b tex< b tex<< b tex< b b tex<< b b b b bibtex bibtex< b tex< b on> bibtex How-to-sta bibtexHow=to sta bi on> bibtex ript' src='spiptiome_start.js&" bibtexg.imag.SenteMap"irccesskey="3">SenteMap bibtex sem bi /ut> bo/ulD b b b bohatio -> b ebetteirc.fr/ ript' src='spirecherass=imethod <> , aras: /uaceh o x< > Accessicla> /ut>e>> t/ulD b b b b ia b ia ings},
as=>eb #ion/rss+xhttp://-webmasc/st.åt.httpv-g noble-alicltrimaoncimakCe/trc.cla> |d="entete">ript' src='spiptiome_start.js&"xg.imag.SenteMap">SenteMapcla> |d= t
imatitr"stylesheet" hra namivecommeat.dublimatitrs/by-sa/ten/deed.s&"xrccesskey="8=>e[CC Lmatitr]icla> rtoparsite" 916142r: n ohe> "Verimato/p pr* --> c="Is=>ebeablL e e>&gb td tyle= cef"li and t / / / e>to/eablLdia b fade as oom: art." tul> nMo art." i on>t detailPublicapg._ author _ David an_SASb/come_start.js&"xs" />s&"x>Eng;&nba ubli /ut>e> on>t detailPublicapg._ author _ David an_SASb/come_start.jrimas" />rima>Français ubli /ut>et/ulD ='sp" class=" carto/ et/blic>