Richiedi una copia del documento: Verification and synthesis in description logic based dynamic systems (abridged version)

Captcha code
Annulla