Modeling and Formal Verification of DHCP using SPIN

S M S Islam, M S Sqalli, S Khan

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	145-159
Journal	INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND APPLICATIONS
Volume	3
Issue number	6
Publication status	Published - 2006

Cite this

@article{4f9689ed7964469db9a2f8acc24895c0,

title = "Modeling and Formal Verification of DHCP using SPIN",

author = "Islam, {S M S} and Sqalli, {M S} and S Khan",

year = "2006",

language = "English",

volume = "3",

pages = "145--159",

journal = "INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND APPLICATIONS",

issn = "0972-9038",

publisher = "Technomathematics Research Foundation",

number = "6",

}