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


TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540002666, 9783540362357

Author(s):  
Nathalie Souchon ◽  
Quentin Limbourg ◽  
Jean Vanderdonckt
Keyword(s):  

Author(s):  
Pedro J. Molina ◽  
Santiago Meliá ◽  
Oscar Pastor
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document