Routing Information Protocol in HOL/SPIN

@inproceedings{citeulike:3381114, address = {London, UK}, author = {Bhargavan, Karthikeyan and Gunter, Carl A. and Obradovic, Davor}, booktitle = {TPHOLs '00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics}, citeulike-article-id = {3381114}, isbn = {3-540-67863-8}, keywords = {agdaspin, copy, model-checking, print, spin, theorem-proving}, pages = {53--72}, posted-at = {2008-10-07 06:26:29}, priority = {0}, publisher = {Springer-Verlag}, title = {Routing Information Protocol in HOL/SPIN}, url = {http://portal.acm.org/citation.cfm?id=646527.695029}, year = {2000} }

TY - CONF ID - citeulike:3381114 L3 - citeulike-article-id:3381114 SN - 3-540-67863-8 AD - London, UK EP - 72 TI - Routing Information Protocol in HOL/SPIN PB - Springer-Verlag T2 - TPHOLs '00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics SP - 53 KW - agdaspin KW - copy KW - model-checking KW - print KW - spin KW - theorem-proving AU - Bhargavan, Karthikeyan AU - Gunter, Carl AU - Obradovic, Davor PY - 2000/// UR - http://portal.acm.org/citation.cfm?id=646527.695029 ER -