Buscar

Estamos realizando la búsqueda. Por favor, espere...

Detalle_Publicacion

Tools and algorithms for the construction and analysis of systems

Comunicaciones del congreso o publicaciones relacionadas con autores/as de la Universidad de Cantabria

Editorial: Springer

 Año de publicación: 2016

Tipo de publicación: Comunicación a Congreso

 DOI: 10.1007/978-3-662-46681-0

ISBN: 978-3-662-46680-3

Url de la publicación: https://doi.org/10.1007/978-3-662-46681-0

Autoría

BAIER, CHRISTEL

TINELLI, CESARE