Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods (bibtex)
by Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
Reference:
O. Bouissou, A. Chapoutot and A. Djoudi, "Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods", in NASA Formal Methods, Springer, 2013, pp. 108-123.
Bibtex Entry:
@inproceedings{BCD13,
	Author = {Bouissou, Olivier and Chapoutot, Alexandre and Djoudi, Adel},
	Booktitle = {NASA Formal Methods},
	Number = {7871},
	Pages = {108--123},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Enclosing Temporal Evolution of Dynamical Systems
                  Using Numerical Methods},
	Year = {2013}
}
Powered by bibtexbrowser