Decoupled simulating abstractions of non-linear ordinary differential equations (bibtex)
by , ,
Abstract:
Reference:
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson, "Decoupled simulating abstractions of non-linear ordinary differential equations", Chapter in Proceedings of the 21st International Symposium on Formal Methods (FM 2016), Limassol, Cyprus, 2016, dec.
Bibtex Entry:
@incollection{sogokon2016fm,
        author          =       {Andrew Sogokon and Khalil Ghorbal and Taylor T. Johnson},
        title           =       {Decoupled simulating abstractions of non-linear ordinary differential equations},
        year            =       {2016},
        booktitle       =       {Proceedings of the 21st International Symposium on Formal Methods (<a href="http://fm2016.cs.ucy.ac.cy">FM 2016</a>)},
	address		=	{Limassol, Cyprus},
        month           =       dec,
#	isbn		=	{978-3-642-32758-2},
#	volume		=	{7436},
#	gsid		=	{6661230319939383532},
#	editor		=	{Giannakopoulou, Dimitra and M\'{e}ry, Dominique},
	doi		=	{10.1007/978-3-319-48989-6_38},
#	publisher	=	{Springer Berlin Heidelberg},
#	pages		=	{252--266},
        abstract        =       {},
        pdf = {http://www.taylortjohnson.com/research/sogokon2016fm.pdf},
}
Powered by bibtexbrowser