Decision Procedures for the Temporal Verification of Concurrent Lists | Publicación