INVESTIGADORES
BRABERMAN Victor Adrian
datos académicos
artículos
libros
capítulos de libros
congresos y reuniones científicas
convenios, asesorías y/o servicios tecnológicos
libros
VICTOR A. BRABERMAN; LAURENT FRIBOURG
Formal Modeling and Analysis of Timed Systems
Lugar: Berlin Heidelberg; Año: 2013; p. 273
[+]
enviar mensaje