Richiedi una copia del documento: Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems

Captcha code
Annulla