Complexity of pattern-based verification for multithreaded programs | Publicación