On the Symmetric Property of Homogeneous Boolean Functions
ACISP '99 Proceedings of the 4th Australasian Conference on Information Security and Privacy
Improved bounded model checking for the universal fragment of CTL
Journal of Computer Science and Technology
Hi-index | 0.01 |