Communication Dans Un Congrès
Année : 2010
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03191270
Soumis le : mercredi 7 avril 2021-08:56:09
Dernière modification le : vendredi 5 avril 2024-13:54:14
Citer
Jean Goubault-Larrecq. omega-QRB-Domains and the Probabilistic Powerdomain. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.352-361, ⟨10.1109/LICS.2010.50⟩. ⟨hal-03191270⟩
Collections
10
Consultations
0
Téléchargements