Proceedings of the 12th ACM Great Lakes symposium on VLSI
Comparing HOL and MDG: a case study on the verification of an ATM switch fabric
Nordic Journal of Computing
Formal verification of ASMs using MDGs
Journal of Systems Architecture: the EUROMICRO Journal
A New Approach for the Construction of Multiway Decision Graphs
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
NuMDG: a new tool for multiway decision graphs construction
Journal of Computer Science and Technology - Special issue on natural language processing
Hi-index | 0.00 |