Richiedi una copia del documento: Design and Verification of Long-Running Transactions in a Timed Framework

Captcha code
Annulla