<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5230</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Analysing a Basic Call Protocol using PROMELA/XSPIN</TITLE><PLACE_PUBLISHED> Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model Checker, Paris, G. Holzmann (ed.) </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>169-181</PAGES><LABEL>Calder:1998:5230</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>