Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications


TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540348931, 9783540348955

Author(s):  
Ingrid Chieh Yu ◽  
Einar Broch Johnsen ◽  
Olaf Owe

Author(s):  
Heeseok Choi ◽  
Keunhyuk Yeom ◽  
Youhee Choi ◽  
Mikyeong Moon

Author(s):  
Rodrigo Ramos ◽  
Augusto Sampaio ◽  
Alexandre Mota

Author(s):  
Karsten Ehrig ◽  
Jochen M. Küster ◽  
Gabriele Taentzer ◽  
Jessica Winkelmann

Author(s):  
Carlos E. Cuesta ◽  
María del Pilar Romay ◽  
Pablo de la Fuente ◽  
Manuel Barrio-Solórzano

Sign in / Sign up

Export Citation Format

Share Document