<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5606</REFNUM><AUTHORS><AUTHOR>Thomas,M.</AUTHOR><AUTHOR>Kirkwood,C.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Towards a Modal Logic for Full LOTOS</TITLE><PLACE_PUBLISHED>Proceedings of Northern Formal Methods Workshop </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>-</PAGES><LABEL>Thomas:1997:5606</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>