Amanote Research
Register
Sign In
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
Related publications
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems
Software
Graphically Defining Simulation Models of Concurrent Systems.
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Testing and Verification of the LHCb Simulation
EPJ Web of Conferences
Astronomy
Physics
Verification of Concurrent Design Patterns With Data
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simulation Verification and Validation
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
