共 50 条
- [23] Unifying Modelling and Programming: A Systems Biology Perspective LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 131 - 133
- [26] Constraint logic programming for structure-based reasoning about dynamic physical systems Artif Intell Eng, 3 (253-264):
- [27] Constraint logic programming for structure-based reasoning about dynamic physical systems ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (03): : 253 - 264
- [29] Reasoning about Distributed Reconfigurable Systems PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):