Tsai Jeffrey J P & Li B Hybrid Parallel Execution Model for Logic-Based Specification Languages - World Scientific WSPC 2001 ISBN: 9789812797964 Source: EBOOK Subjects--Topical Terms: Engineering / Acoustics