2 citations · 2 across the 1 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…