Identidades de saída baseadas em drawdown para processos de Lévy observados em tempos de chegada de Poisson | Synapse