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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 TU - Technische Universität Dortmund [Dortmund]
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, December 18, 2018 - 4:48:02 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

252

 

Contact                    Legal Notice                    Personal Data