Skip to main content

Galois Switching Theory: A Uniform Framework for Multi-Level Verification

Dhiraj Pradhan, A. Singh, T. Rajaprabhu, A. Jabir , Galois Switching Theory: A Uniform Framework for Multi-Level Verification . Fourteenth International Workshop on Logic and Synthesis . June 2005. No electronic version available.

Abstract

Bibtex entry.

Contact details

Publication Admin