1 book • 1 series
Book #1: Knowledge-based Software Development For Real-time Distributed Systems
Book #10: Hybrid Parallel Execution Model For Logic-based Specification Languages