Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540201595, 9783540399292

Author(s):  
José Pascual Molina ◽  
Pascual González ◽  
M. Dolores Lozano ◽  
Francisco Montero ◽  
Víctor López-Jaquero

Author(s):  
Víctor López-Jaquero ◽  
Francisco Montero ◽  
José P. Molina ◽  
Antonio Fernández-Caballero ◽  
Pascual González

Sign in / Sign up

Export Citation Format

Share Document