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

 Publisher: Springer

 Year of publication: 2016

 No. of pages: 3

 Pages: 429 a 431

 Publication type: Conference object

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

 ISBN: 978-3-662-46680-3

 Spanish project: TEC2011-28666-C04-02

 Publication Url: https://doi.org/10.1007/978-3-662-46681-0_36