Formal modeling and analysis of timed systems: 13th international conference, formats 2015, madrid, spain, september 2-4, 2015, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319229744
Date de publication :
12 août 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse