Discover open access scientific publications

Search, annotate, share and cite publications

Publications by M.A. Pena

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems

English