Skip to Main content Skip to Navigation
Conference papers

Continuous Random Variables

Jean Goubault-Larrecq 1 Daniele Varacca 2
1 LSV - Laboratoire Spécification et Vérification
2 UPD7 - Université Paris Diderot - Paris 7
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03190874
Contributor : Jean Goubault-Larrecq <>
Submitted on : Tuesday, April 6, 2021 - 5:08:43 PM
Last modification on : Thursday, April 8, 2021 - 3:39:50 AM

Links full text

openaccess

Identifiers

Collections

CNRS | UNIV-PARIS7 | UNIV-PARIS | ENS-CACHAN | USPC | ENS-PARIS-SACLAY

Citation

Jean Goubault-Larrecq, Daniele Varacca. Continuous Random Variables. 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), Jun 2011, Toronto, Canada. pp.97-106, ⟨10.1109/LICS.2011.23⟩. ⟨hal-03190874⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

10

 

Contact                    Legal Notice                    Personal Data