共 50 条
- [4] A process algebra master equation FOURTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2007, : 219 - 224
- [9] A Divide-and-Conquer Approach for Solving Interval Algebra Networks 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 572 - 577