Modeling and Formal Verification of DHCP using SPIN

S M S Islam, M S Sqalli, S Khan

    Research output: Contribution to journalArticle

    Original languageEnglish
    Pages (from-to)145-159
    JournalINTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND APPLICATIONS
    Volume3
    Issue number6
    Publication statusPublished - 2006

    Cite this