226 citations · 398 across the 10 of their papers we have counts for
1 paper · 1 filter
Jiří Barnat, Keijo Heljanko
This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 1…