Bibtex de la publication

@Article{ Ya2015.1,
author = {Yang, Zhibin and Hu, Kai and Zhao, Yongwang and Ma, Dianfu and Bodeveix, Jean-Paul},
title = "{AADL Model Verification by Translating into TASM}",
journal = {Journal of Software},
publisher = {Institute of Software Chinese Academy of Science (ISCAS)},
address = {http://english.is.cas.cn},
year = {2015},
month = {février},
volume = {26},
number = {2},
pages = {1--20},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/13274/}
}