BibTeX record conf/fois/BittnerBC16

download as .bib file

@inproceedings{DBLP:conf/fois/BittnerBC16,
  author    = {Thomas Bittner and
               Jonathan P. Bona and
               Werner Ceusters},
  editor    = {Roberta Ferrario and
               Werner Kuhn},
  title     = {Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation:
               Towards a Haskell-Based Implementation of Referent Tracking},
  booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International
               Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {283},
  pages     = {313--327},
  publisher = {{IOS} Press},
  year      = {2016},
  url       = {https://doi.org/10.3233/978-1-61499-660-6-313},
  doi       = {10.3233/978-1-61499-660-6-313},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {https://dblp.org/rec/conf/fois/BittnerBC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics