复杂系统综合博弈研讨会与第三届复杂参数综合国际研讨会联合会议录
软件工程
2016-08-11 v1 计算机科学中的逻辑
摘要
本卷包含复杂系统综合博弈研讨会（CASSTING'16）与第三届复杂参数综合国际研讨会（SynCoP'16）的联合会议录。这些研讨会作为第19届欧洲软件理论与实践联合会议（ETAPS'16）的卫星活动，在荷兰埃因霍温举行。两个研讨会在主题和目标受众上密切相关，并共享由 Giorgio Delzanno 所作的联合特邀报告。
引用
@article{arxiv.1608.00177,
title = {Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters},
author = {Thomas Brihaye and Benoît Delahaye and Loïg Jezequel and Nicolas Markey and Jiří Srba},
journal= {arXiv preprint arXiv:1608.00177},
year = {2016}
}