Skip to Main content Skip to Navigation
Journal articles

Theoretical Aspects of Computer Science

Jean-Yves Marion 1 Thomas Schwentick 2
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
2 TU - Technische Universität Dortmund [Dortmund]
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/hal-00763646
Contributor : Jean-Yves Marion <>
Submitted on : Tuesday, December 11, 2012 - 11:24:30 AM
Last modification on : Tuesday, May 5, 2020 - 5:02:07 PM

Identifiers

  • HAL Id : hal-00763646, version 1

Collections

CNRS | INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Jean-Yves Marion, Thomas Schwentick. Theoretical Aspects of Computer Science. Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124. ⟨hal-00763646⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

266

 

Contact                    Legal Notice                    Personal Data