Decision Procedures for the Temporal Verification of Concurrent Lists.

Alejandro Snchez, Csar Snchez

Browse the full ICFEM paper archive.