Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Causal Maps: Theory, Implementation, and Practical Applications in Multiagent Environments
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |