SJVG11

Pascal Sotin, Bertrand Jeannet, Franck Védrine, É Goubault. Policy Iteration within Logico-Numerical Abstract Domains. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 290-305, 2011.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{SJVG11,
   Author = {Sotin, Pascal and Jeannet, Bertrand and Védrine, Franck and Goubault, É},
   Title = {Policy Iteration within Logico-Numerical Abstract Domains},
   BookTitle = {Automated Technology for Verification and Analysis, ATVA'11},
   Volume = {6996},
   Pages = {290--305},
   Series = {LNCS},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)