Lista de

11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013
1
2013
1
"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface" (2013) Braberman, V.; Fribourg, L. 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013. 8053 LNCS:V-VI