Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan. Modeling and Formal Verification of DHCP Using SPIN. IJCSA, 3(2):145-159, 2006. [doi]
@article{IslamSK06,
title = {Modeling and Formal Verification of DHCP Using SPIN},
author = {Syed M. S. Islam and Mohammed H. Sqalli and Sohel Khan},
year = {2006},
url = {http://www.tmrfindia.org/ijcsa/V3I210.pdf},
tags = {modeling},
researchr = {https://researchr.org/publication/IslamSK06},
cites = {0},
citedby = {0},
journal = {IJCSA},
volume = {3},
number = {2},
pages = {145-159},
}