"Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: ..."

Thomas Bittner, Jonathan P. Bona, Werner Ceusters (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics