Libros
Temporal logic for real-time systems

Temporal logic for real-time systems

Jonathan S. Ostroff
1989
Páginas: 209
Género: Discrete-time systems


Añadir a mi colección

Formato