Micro tools

This publication has 5 references indexed in Scilit:

• Miro semantics for security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Efficient Netlist Comparison Using Hierarchy and Randomization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Group-Theoretic Algorithms and Graph Isomorphism
  Lecture Notes in Computer Science, 1982
• Isomorphism of graphs of bounded valence can be tested in polynomial time
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• The graph isomorphism disease
  Journal of Graph Theory, 1977