Return to Article Details
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Download
Download PDF