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