Decoupling Abstractions of Non-linear Ordinary Differential Equations (bibtex)

by A Sogokon, K Ghorbal and Taylor T. Johnson

Reference:

A Sogokon, K Ghorbal and Taylor T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", In International Symposium on Formal Methods (FM'16), Springer, pp. 628–644, 2016.

Bibtex Entry:

@inproceedings{sogokon2016fm,
  title = {Decoupling Abstractions of Non-linear Ordinary Differential Equations},
  author = {A Sogokon and K Ghorbal and Taylor T. Johnson},
  year = {2016},
  month = nov,
  booktitle = {International Symposium on Formal Methods (FM'16)},
  volume = {9995},
  pages = {628--644},
  publisher = {Springer},
  doi = {10.1007/978-3-319-48989-6_38},
  publabel = {C16},
  pubtype = {C},
  gsid = {6661230319939383532},
  dblp = {conf/fm/SogokonGJ16},
  s2id = {17823282},
  pdf = "research/sogokon2016fm.pdf",
}