TY  - BOOK
AU  - Tsai Jeffrey J P & Li B
TI  - Hybrid Parallel Execution Model for Logic-Based Specification Languages
SN  - 9789812797964
PB  - World Scientific
KW  - Engineering / Acoustics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/4242#t=toc
ER  -