Most Popular Books
- Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
- Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science)
- Formal Methods and Hybrid Real-Time Systems
