Normal view
MARC view
Tsai Jeffrey J P & Li B (Personal Name)
Machine generated authority record
Work cat.: (OSt)1546427: Tsai Jeffrey J P & Li B, Hybrid Parallel Execution Model for Logic-Based Specification Languages