第八届验证中并行与分布式方法国际研讨会论文集
计算机科学中的逻辑
2009-12-17 v1 计算工程、金融与科学
分布式、并行与集群计算
软件工程
摘要
第八届验证中并行与分布式方法国际研讨会（PDMC 2009）于 2009 年 11 月 4 日在埃因霍温理工大学举行，首次与形式化方法 2009 及其他相关活动在形式化方法周的框架下联合举办。本卷收录了该研讨会的最终论文集。
引用
@article{arxiv.0912.3036,
title = {Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation},
author = {Lubos Brim and Jaco van de Pol},
journal= {arXiv preprint arXiv:0912.3036},
year = {2009}
}