Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |