HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

A Survey on Continuous Time Computation

Olivier Bournez 1 Manuel L. Campagnolo
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/inria-00102948
Contributor : Olivier Bournez Connect in order to contact the contributor
Submitted on : Monday, October 2, 2006 - 10:41:03 PM
Last modification on : Friday, May 13, 2022 - 10:18:04 PM

Identifiers

  • HAL Id : inria-00102948, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2

Citation

Olivier Bournez, Manuel L. Campagnolo. A Survey on Continuous Time Computation. Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331. ⟨inria-00102948⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

43

 

Contact                    Legal Notice                    Personal Data