Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

Jos Baeten 1 Tom Ball 2 Frank De Boer 1
1 CWI - Centrum voor Wiskunde en Informatica
2 Microsoft Research
Abstract : Book Front Matter of LNCS 7604
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, 〈10.1007/978-3-642-33475-7〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01556209
Contributeur : Hal Ifip <>
Soumis le : mardi 4 juillet 2017 - 17:45:34
Dernière modification le : mercredi 20 décembre 2017 - 17:42:07

Annexe

Licence

Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

IFIP-LNCS | IFIP | IFIP-TC | IFIP-TC1 | IFIP-TC2 | IFIP-TCS | IFIP-WG2-2 | IFIP-LNCS-7604

Citation

Jos Baeten, Tom Ball, Frank De Boer. Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, 〈10.1007/978-3-642-33475-7〉. 〈hal-01556209〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

62

Téléchargements de fichiers

15

Contact


archive-ouverte@inria.fr