Abstract Fixpoint Computations with Numerical Acceleration Methods (bibtex)
by Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Reference:
O. Bouissou, Y. Seladji and A. Chapoutot, "Abstract Fixpoint Computations with Numerical Acceleration Methods", Electronic Notes in Theoretical Computer Science, vol. 267, no. 1, 2010, pp. 29 - 42.
Bibtex Entry:
@article{Bouissou201029,
	Author = {Olivier Bouissou and Yassamine Seladji and Alexandre
                  Chapoutot},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Number = {1},
	Pages = {29 - 42},
	Title = {Abstract Fixpoint Computations with Numerical
                  Acceleration Methods},
	Volume = {267},
	Year = {2010}
}
Powered by bibtexbrowser