Congreso: Tools and algorithms for the construction and analysis of systems

Editorial: Springer

 Año de publicación: 2016

Nº de páginas: 3

Páginas: 429 a 431

Tipo de publicación: Comunicación a Congreso

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

ISBN: 978-3-662-46680-3

Proyecto español: TEC2011-28666-C04-02

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