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 proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionGalois Switching Theory: A Uniform Framework for Multi-Level Verification
Original languageEnglish
Title of host publicationUnknown
Publication statusPublished - Jun 2005

Bibliographical note

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

Cite this