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

D Pradhan, A Singh, T Rajaprabhu, A Jabir

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Galois Switching Theory: A Uniform Framework for Multi-Level Verification
Original language	English
Title of host publication	Unknown
Publication status	Published - Jun 2005

Conference Proceedings/Title of Journal: Fourteenth International Workshop on Logic and Synthesis

Access to Document

@inproceedings{e2a2ebf3407340f2b39cb844a4d0bcce,

title = "Galois Switching Theory: A Uniform Framework for Multi-Level Verification ",

author = "D Pradhan and A Singh and T Rajaprabhu and A Jabir",

note = "Conference Proceedings/Title of Journal: Fourteenth International Workshop on Logic and Synthesis ",

year = "2005",

month = jun,

language = "English",

booktitle = "Unknown",

}