その他のタイトルAug 2013, Buenos Aires, Argentina.
一般注記Revised papers and an abstract.
"This year the conference was jointly organized with the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), and the 8th International Symposium on Trustworthy Global Computing (TGC 2013)." -- pref.
書誌注記Includes bibliographical references and author index.