top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci








Pnueli, Amir
ID: 53228

Opere

Seleziona tutte
Deseleziona


Perspectives of systems informatics
Espandi opera
...
Temporal logic of reactive and concurrent systems
Espandi opera
...