@misc
{TN_libero_mab2,
author = {
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Choppy, Christine
},
title = {
1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
FSFMA 2013 ; July 15 - 16, 2013, Singapore
},
publisher = {},
isbn = {9783939897569},
keywords = {
Konferenzschrift
},
year = {2013},
booktitle = {Open access series in informatics ; 31},
address = {
Wadern
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}