top

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

Espandi
Riduci







Merz, Stephan
ID: 503992

Opere

Seleziona tutte
Deseleziona


Modeling and verification of real-time systems
Espandi opera
...
Temporal logic and state systems
Espandi opera
...