Berezin-Engliš' quantization of Cartan-Hartogs domains

We prove the existence of a Berezin-Engliš quantization for Cartan-Hartogs domains.