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