共 50 条
- [2] Stability of Non-deterministic Systems FROM PARTICLE SYSTEMS TO PARTIAL DIFFERENTIAL EQUATIONS II, 2015, 129 : 193 - 207
- [6] On model checking for non-deterministic infinite-state systems THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 70 - 80
- [9] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
- [10] Evaluating Non-Deterministic Retrieval Systems SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 911 - 914