Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14)

Nathalie Bertrand 1 Luca Bortolussi 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Ouvrage (y compris édition critique et traduction)
Nathalie Bertrand; Luca Bortolussi. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2014, 〈10.4204/EPTCS.154〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01082133
Contributeur : Nathalie Bertrand <>
Soumis le : mercredi 12 novembre 2014 - 16:34:22
Dernière modification le : mercredi 16 mai 2018 - 11:24:06

Lien texte intégral

Identifiants

Citation

Nathalie Bertrand, Luca Bortolussi. Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14). Nathalie Bertrand; Luca Bortolussi. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2014, 〈10.4204/EPTCS.154〉. 〈hal-01082133〉

Partager

Métriques

Consultations de la notice

201