Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Logic in Computer Science
2009-12-17 v1 Computational Engineering, Finance, and Science
Distributed, Parallel, and Cluster Computing
Software Engineering
Abstract
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.
Keywords
Cite
@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}
}