Login / Signup
Quentin Hibon
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Source Coding
Error Resilient
Rate Allocation
Bitstream
Top Venues
Arch. Formal Proofs
</>
Publications
</>
Quentin Hibon
,
Lawrence C. Paulson
Source Coding Theorem.
Arch. Formal Proofs
2016 (2016)