Files
Détails
Titre
Combining model reductions
Auteur(s)
Camporesi, Fernanda ; Feret, Jerome ; Koeppl, Heinz ; Petrov, Tatjana
Publié dans
Electronic Notes in Theoretical Computer Science
Volume
265
Pages
73-96
Présenté à
26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), 6-10 May 2010, Ottawa, Ontario, Canada
Date
2010
Mots-clés (libres)
Le document apparaît dans
Production scientifique et compétences > STI - Faculté des sciences et techniques de l'ingénieur > IBI-STI - Institut Interfacultaire de Bioingénierie > LBNC - Laboratoire de caractérisation du réseau biologique
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > MTC - Laboratoire de modèles et théorie de calculs
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LANOS - Laboratoire de systèmes non linéaires
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > MTC - Laboratoire de modèles et théorie de calculs
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LANOS - Laboratoire de systèmes non linéaires
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2010-07-07